Proof in VDM: Case Studies by Bicarregui, Juan C.

Formal Object-Oriented Development (Formal Approaches to Computing and Informati

Formal Object-Oriented Development (Formal Approaches to Computing and Informat

Case Studies in Couples Therapy: Theory-Based Approaches

Software Prototyping, Formal Methods, and VDM (International Computer Science)

A Practical Guide to Studying History: Skills and Approaches

Studies in Mediaeval English Romances: Some New Approaches,Derek

Studying Leadership: Traditional and Critical Approaches