01897nam 2200481zu 450 991037573390332120210807005136.0(CKB)3780000000085371(SSID)ssj0001456105(PQKBManifestationID)11874530(PQKBTitleCode)TC0001456105(PQKBWorkID)11408793(PQKB)10914585(WaSeSS)IndRDA00038109(Association for Computing Machinery)10.5555/2663689(EXLCZ)99378000000008537120160829d2012 uy engur|||||||||||txtccr2012 first International Workshop on Formal Methods in Software Engineering : Rigorous and Agile Approaches (FormSERA) : proceedings : June 2, 2012, Zurich, Switzerland[Place of publication not identified]IEEE Press20121 online resource (63 pages)ACM ConferencesBibliographic Level Mode of Issuance: Monograph1-4673-1906-6 ACM ConferencesFormSERAFormal Methods in Software Engineering : Rigorous and Agile ApproachesProceedings of the first International Workshop on Formal Methods in Software Engineering: Rigorous and Agile ApproachesEngineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceGnesi Stefania875672Association for Computing Machinery-Digital Library.PQKBBOOK99103757339033212012 first International Workshop on Formal Methods in Software Engineering : Rigorous and Agile Approaches (FormSERA) : proceedings : June 2, 2012, Zurich, Switzerland1987039UNINA