正式方法教学:第三届国际研讨会和教程，FMTea 2019，作为第三届世界正式方法大会的一部分，FMTea 2019，葡萄牙波尔图，2019年10月7日，会议记录

{"title":"正式方法教学:第三届国际研讨会和教程，FMTea 2019，作为第三届世界正式方法大会的一部分，FMTea 2019，葡萄牙波尔图，2019年10月7日，会议记录","authors":"Brijesh Dongol, L. Petre, Graeme Smith","doi":"10.1007/978-3-030-32441-4","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":250463,"journal":{"name":"Formal Methods Teaching","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings\",\"authors\":\"Brijesh Dongol, L. Petre, Graeme Smith\",\"doi\":\"10.1007/978-3-030-32441-4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":250463,\"journal\":{\"name\":\"Formal Methods Teaching\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Formal Methods Teaching\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/978-3-030-32441-4\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Methods Teaching","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/978-3-030-32441-4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}