LEADER 00000cam  2200253 i 4500 
001    OCM1ssj0001120328 
003    WaSeSS 
005    20180507180310.0 
006    m        d         
007    cr  n          
008    140131s1990    nyu|||||s|||||1|||||eng d 
020    9780897914154 (print) 
035    (WaSeSS)ssj0001120328 
040    WaSeSS|beng|cWaSeSS|dWaSeSS 
050 14 QA76.76.D47 
111 2  ACM Sigsoft International Workshop on Formal Methods in 
       Software Development|d(1990 :|cNapa, Calif.) 
111 2  ACM Sigsoft International Workshop on Formal Methods in 
       Software Development|d(1990 :|cNapa, Calif.) 
245 10 Conference proceedings on formal methods in software 
       development|h[electronic resource] /|ceditor Mark Moriconi
       ; sponsor ACM Special Interest Group on Software 
       Engineering. 
260    New York :|bACM,|c1990. 
300    1 online resource (149 pages) 
650  0 Computer software|xDevelopment|vCongresses. 
710 2  ACM Sigsoft. 
856 40 |uhttps://dl.acm.org/citation.cfm?id=99569|zFull text 
       available from ACM Digital Library