From Event-B models to Dafny code contracts


Dalvandi, Mohammadsadegh, Butler, Michael and Rezazadeh, Abdolbaghi (2015) From Event-B models to Dafny code contracts At 6th IPM International Conference on Fundamentals of Software Engineering (FSEN2015), Iran, Islamic Republic of. 22 - 24 Apr 2015.

Download

[img] PDF fsen2015_Short.pdf - Other
Download (243kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: 6th IPM International Conference on Fundamentals of Software Engineering (FSEN2015), Iran, Islamic Republic of, 2015-04-22 - 2015-04-24
Subjects: Q Science > QA Mathematics > QA76 Computer software
Organisations: Electronic & Software Systems
ePrint ID: 373440
Date :
Date Event
2015Published
Date Deposited: 19 Jan 2015 11:44
Last Modified: 17 Apr 2017 06:49
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/373440

Actions (login required)

View Item View Item