FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
Naftalin, Maurice ; Denvir, Tim ; Bertran, Miquel Bertran, Miquel ; Denvir, Tim ; Naftalin, Maurice
Berlin, Heidelberg: Springer Berlin Heidelberg 1994
Texto completo disponível