Object Organisation in Software Environments for Formal Methods (1993)

Cached

Download Links

by Jun Han , Jim Welsh
Venue:PROC. OF THE 4TH INTERNATIONAL JOINT CONFERENCE ON THE THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT (TAPSOFT '93
Citations:1 - 1 self