00893oam 2200301zu 450 99619992850331620210807000229.0(CKB)1000000000021889(SSID)ssj0000558815(PQKBManifestationID)12208262(PQKBTitleCode)TC0000558815(PQKBWorkID)10565666(PQKB)11373815(EXLCZ)99100000000002188920160829d2004 uy engtxtccrSoftware Engineering and Formal Methods[Place of publication not identified]IEEE Computer Society Press2004Bibliographic Level Mode of Issuance: Monograph0-7695-2222-X PQKBPROCEEDING996199928503316Software Engineering and Formal Methods2077897UNISA