Conference Publication Details
Mandatory Fields
Masci, P;Monahan, R;Prevosto, V
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Proceedings 4th Workshop on Formal Integrated Development Environment Oxford, England, 14 July 2018 Preface
2018
January
Published
1
0 ()
Optional Fields
Grant Details