A Tutorial Introduction to Designs in Unifying Theories of Programming (2004)

by Jim Woodcock , Ana Cavalcanti
Venue:In IFM 2004: Integrated Formal Methods
Citations:4 - 2 self