LEADER 01757nam  2200505zu 450 
001 9910376365203321
005 20210807005216.0
010   $a1-4503-2853-9
035   $a(CKB)3780000000084331
035   $a(SSID)ssj0001341735
035   $a(PQKBManifestationID)11738787
035   $a(PQKBTitleCode)TC0001341735
035   $a(PQKBWorkID)11277476
035   $a(PQKB)10366015
035   $a(WaSeSS)IndRDA00027617
035   $a(Association for Computing Machinery)10.1145/2593489
035   $a(EXLCZ)993780000000084331
100   $a20160829d2014      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 00$a2nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India
210 31$a[Place of publication not identified]$cACM$d2014
215   $a1 online resource (58 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
410  0$aACM Conferences
517 1 $aFormaliSE 2014
517 1 $aFormal Methods in Software Engineering 2014
517 1 $aProceedings of the 2nd FME Workshop on Formal Methods in Software Engineering
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aGnesi$b Stefania$0875672
702   $aGnesi$b Stefania
702   $aPlat$b N
712 02$aAssociation for Computing Machinery-Digital Library.
801  0$bPQKB
906   $aBOOK
912   $a9910376365203321
996   $a2nd FME Workshop on Formal Methods in Software Engineering : proceedings : June 3, 2014, Hyderabad, India$92232841
997   $aUNINA