- 1
Fahad Rafique Golra
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩
Communication dans un congrès
hal-01853610v1
|