A toolset to support the construction and animation of formal specifications (1998)

by I Morrey, J I Siddiqi, R Hibberd, G Buckberry
Venue:J.syst.softw