01101nam 2200337 450 991014005050332120180306112245.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)WaSeSSWaSeSSPROCEEDING99101400505033212008 Sixth IEEE International Conference on Software Engineering and Formal Methods2378514UNINA