A. J. van Leeuwen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

1 EE A. J. van Leeuwen: Building Verification Condition Generators by Compositional Extension. Electr. Notes Theor. Comput. Sci. 191: 73-83 (2007)