01711nam0 22003133i 450 AQ1001302920240906062529.00387566627New York3540566627Berlin20110405d1993 ||||0itac50 baengdez01i xxxe z01nFME '93industrial-strength formal methodsfirst International symposium of formal methods EuropeOdense, Denmark, April 19-23, 1993proceedingsJ. C. P. Woodcock, P. G. Larsen (eds.)Berlin [etc.]Springer1993XI, 689 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis670001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis670Woodcock, James C. P.AQ1V007060Larsen, Peter Gorm <1964- >AQ1V007061International symposium of formal methods Europe <1. ; 1993 ; Odense>AQ1V007059070714683ITIT-NA007920110405IT-BN0095 AQ10013029Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000012585 B FD(670 v. 6703 1994070720110406 01FME '931382026UNISANNIO