01478nas 2200505- 450 991022222570332120221220213019.0(OCoLC)1043638813(CKB)1000000000756749(CONSER)--2022243383(EXLCZ)99100000000075674920120227a20089999 --- -engurmnu||||||||txtrdacontentcrdamediacrrdacarrierLiving woods magazineAmpney St Peter :Freshwood Publishing1 online resource1756-8609 Living woodsForests and forestryGreat BritainPeriodicalsTreesGreat BritainPeriodicalsTimberGreat BritainPeriodicalsWoodworkPeriodicalsForests and forestryfast(OCoLC)fst00932632Timberfast(OCoLC)fst01150988Treesfast(OCoLC)fst01155984Woodworkfast(OCoLC)fst01179877Great BritainfastPeriodicals.fastPeriodicals.lcgftForests and forestryTreesTimberWoodworkForests and forestry.Timber.Trees.Woodwork.JOURNAL9910222225703321Living woods magazine2997476UNINA01818nam 2200349 450 991037664480332120230818171440.0(CKB)3780000000086021(NjHacI)993780000000086021(EXLCZ)99378000000008602120230818d2015 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the Third FME Workshop on Formal Methods in Software Engineering /Stefania Gnesi, Nico Plat ; Association for Computing Machinery-Digital LibraryPiscataway, New Jersey :IEEE Press,2015.1 online resource (85 pages)We 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.Formal methods (Computer science)CongressesFormal methods (Computer science)004.0151Gnesi Stefania875672Plat NicoACM Digital Library,NjHacINjHaclBOOK9910376644803321Proceedings of the Third FME Workshop on Formal Methods in Software Engineering2124447UNINA