ARO/AFOSR/ONR Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Software Slicing, Merging and Integration
Dave Dampier, Joseph A. Goguen, Luqi, Valdis A. Berzins · 1993
Includes these papers by NPS authors: Some Suggestions for Using Formal Methods in Software Development by Luqi and Joseph Goguen; A Slicing Method for Semantic Based Merging of Software Prototypes by David Dampier and Valdis Berzins