P.S.C. Alencar , D.D. Cowan , L.C.M. Nova , C.J.P. Lucena
September 1998
3rd BCS-FACS Northern Formal Methods Workshop (NFM)
BCS-FACS Northern Formal Methods Workshop
14-15 September 1998
This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/