发布求助
文献互助 智能选刊 最新文献

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering最新文献

筛选
英文 中文
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering 第四届FME软件工程形式化方法研讨会论文集
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering Pub Date : 2014-06-03 DOI: 10.1145/2897667
S. Gnesi, N. Plat
{"title":"Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering","authors":"S. Gnesi, N. Plat","doi":"10.1145/2897667","DOIUrl":"https://doi.org/10.1145/2897667","url":null,"abstract":"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. \u0000 \u0000The 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.","PeriodicalId":430254,"journal":{"name":"Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124635350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信