LEADER 01818nam  2200349   450 
001 9910376644803321
005 20230818171440.0
035   $a(CKB)3780000000086021
035   $a(NjHacI)993780000000086021
035   $a(EXLCZ)993780000000086021
100   $a20230818d2015      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the Third FME Workshop on Formal Methods in Software Engineering /$fStefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital Library
210  1$aPiscataway, New Jersey :$cIEEE Press,$d2015.
215   $a1 online resource (85 pages)
330   $aWe would like to take this opportunity to welcome you at FormaliSE 2015, the 3th FME (Formal Methods Europe; www.fmeurope.org) Workshop on Formal Methods in Software Engineering. The main goal of the workshop is to foster integration between the formal methods and the software engineering communities with the purpose to examine the link between the two more carefully than is currently the case. This need to achieve dialogue between the fairly small formal methods community and the (much larger) community of software scientists and practitioners forms the principal motivation holding for our workshop, and for our desire to hold it at ICSE.
606   $aFormal methods (Computer science)$vCongresses
615  0$aFormal methods (Computer science)
676   $a004.0151
700   $aGnesi$b Stefania$0875672
702   $aPlat$b Nico
712 02$aACM Digital Library,
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a9910376644803321
996   $aProceedings of the Third FME Workshop on Formal Methods in Software Engineering$92124447
997   $aUNINA