| |
| | DBLP: Jozef Hooman |
 | | Adriaan de Groot, Jozef Hooman, Fabrice Kordon, Emmanuel Paviot-Adet, Isabelle Vernier-Mounier, M. |
 | | Edwin D. de Jong, Jaco van de Pol, Jozef Hooman: Refinement in Requirements Specification and Analysis: A Case Study. |
 | | Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. |
| www.informatik.uni-trier.de /~ley/db/indices/a-tree/h/Hooman:Jozef.html (740 words) |
|