Lynn S. Marshall (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Lynn S. Marshall, Linda Simon: Using VDM to specify managed object relationships. FORTE 1992: 263-278

6 Lynn S. Marshall, Linda Simon: Using VDM Within an Object-Oriented Framework. Formal Methods in Databases and Software Engineering 1992: 111-121

5 Linda Simon, Lynn S. Marshall: Using VDM to Specify OSI Managed Objects. FORTE 1991: 17-31

4 Lynn S. Marshall, Linda Simon: Using VDM within an Object-Oriented Framework. VDM Europe (1) 1991: 619-628

Selection of 4 from 8 records - Lynn S. Marshall has 7 coauthors

7		Lynn S. Marshall, Linda Simon: Using VDM to specify managed object relationships. FORTE 1992: 263-278
6		Lynn S. Marshall, Linda Simon: Using VDM Within an Object-Oriented Framework. Formal Methods in Databases and Software Engineering 1992: 111-121
5		Linda Simon, Lynn S. Marshall: Using VDM to Specify OSI Managed Objects. FORTE 1991: 17-31
4		Lynn S. Marshall, Linda Simon: Using VDM within an Object-Oriented Framework. VDM Europe (1) 1991: 619-628