Maurice Naftalin, Tim Denvir, Miquel Bertran

FME '94: Industrial Benefit of Formal Methods - 1994 - Springer Berlin Heidelberg 1994 - Lecture Notes in Computer Science .

9783540490319


Computer Science