T. H. Brus;Marko C. J. D. van Eekelen;M. O. van Leer;Marinus J. Plasmeijer
-;-;-;-
Programmed Strategies for Program Verification
Electronic Notes in Theoretical Computer Science (ENTCS)