| Specification and Verification of Secure Business Transaction Systems | 1 | 0.37 | 2002 |
| A rigorous method for test templates generation from object-oriented specifications | 2 | 0.51 | 2001 |
| Apples and Oranges Are Both Fruit | 0 | 0.34 | 1995 |
| A Formal Approach to Software Reusability | 2 | 0.41 | 1993 |
| A formal framework for design and verification of robotic agents | 0 | 0.34 | 1993 |
