01027oam 2200289z- 450 99646527600331620111222093028.0(CKB)1000000000233314(EXLCZ)99100000000023331420210330c1988uuuu -u- -engVDM '88 VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /R. Bloomfield, L. Marshall, R. Jones (eds.)Springer Berlin Heidelberg3-540-50214-9 Computer softwareDevelopmentCongressesComputer software industryEuropean Economic Community countriesCongressesComputer softwareDevelopmentCongresses.Computer software industryCongresses.005.1Bloomfield R1230276Marshall L1230277Jones R(Roger B.)334131VDM-Europe.BOOK996465276003316VDM '882855968UNISA