Industrial benefit of formal methods  Barcelona, Spain, October 24 - 28, 1994; proceedings 
FME '94, Second International Symposium of Formal Methods Europe. Maurice Naftalin ... (eds.) 
 - XI, 723 S.  graph. Darst. 
 - Lecture notes in computer science  873 .
 -  87300 .
 - Lecture notes in computer science  873 .
<br/><br/> Literaturang 
<br/><br/>FME '94: industrial benefit of formal methods Naftalin, Maurice: FME '94: Industrial Benefit of Formal Methods 
<br/><br/><label>ISBN: </label>0387585559 3540585559 
<br/><br/><label>Patent No.: </label>164289542 272034118 
<br/><br/><label>Nat. Bib. No.: </label>94,N40,0186  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>942177762  DE-101 
<br/><br/><label>Subjects--Index Terms: </label>Computer software  Development  Congresses 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Barcelona--1994<br/>Konferenzschrift--Barcelona--1992<br/>Konferenzschrift
<br/><br/><label>LC Class. No.: </label>QA76.76.D47