Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
2 results
|
|
sorted by
|
|
An Interval-Based Approach to Modelling Time in Event-B6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.292-307, ⟨10.1007/978-3-319-24644-4_20⟩
Conference papers
hal-01446607v1
|
||
|
From Event-B Models to Dafny Code Contracts6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.308-315, ⟨10.1007/978-3-319-24644-4_21⟩
Conference papers
hal-01446608v1
|