Jorgensen, Michael E.
4890  Ergebnisse:
Personensuche X
?
11

Automatic verification of pointer programs using monadic se..:

, In: Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation,
 
1-15