01099nam 2200337 450 99619830440331620180306112245.01-5090-7379-5(CKB)1000000000812034(WaSeSS)IndRDA00093532(EXLCZ)99100000000081203420180306d2008 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrier2008 Sixth IEEE International Conference on Software Engineering and Formal Methods 10-14 November 2008New York :IEEE,2008.1 online resource (394 pages)0-7695-3437-6 Software engineeringCongressesFormal methods (Computer science)CongressesSoftware engineeringFormal methods (Computer science)WaSeSSWaSeSSPROCEEDING9961983044033162008 Sixth IEEE International Conference on Software Engineering and Formal Methods2378514UNISA