Maria Manuela Marques;Dag Belsnes;Malachy Murphy
-;-;-
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods