01757nam 2200505zu 450 991037636520332120210807005216.01-4503-2853-9(CKB)3780000000084331(SSID)ssj0001341735(PQKBManifestationID)11738787(PQKBTitleCode)TC0001341735(PQKBWorkID)11277476(PQKB)10366015(WaSeSS)IndRDA00027617(Association for Computing Machinery)10.1145/2593489(EXLCZ)99378000000008433120160829d2014 uy engur|||||||||||txtccr2nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India[Place of publication not identified]ACM20141 online resource (58 pages)ACM ConferencesBibliographic Level Mode of Issuance: MonographACM ConferencesFormaliSE 2014Formal Methods in Software Engineering 2014Proceedings of the 2nd FME Workshop on Formal Methods in Software EngineeringEngineering & Applied SciencesHILCCComputer ScienceHILCCEngineering & Applied SciencesComputer ScienceGnesi Stefania875672Gnesi StefaniaPlat NAssociation for Computing Machinery-Digital Library.PQKBBOOK99103763652033212nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India2232841UNINA