author : John M. Rushby

Short works

• Mechanizing Formal Methods: opportunities and challenges. 1995. (In ZUM '95 )
• Mechanized Formal Methods: Where Next?. 1999. (In FM'99 volume 1 )
• Structural Embeddings: Mechanization with Method. 1999. (In FM'99 volume 1 )