Limits of formal methods (1997)

by Ralf Kneuper
Venue:Formal Aspects of Computing