Other Journal Details
Mandatory Fields
Masci P.;Monahan R.;Prevosto V.
2018
November
Electronic Proceedings in Theoretical Computer Science, EPTCS
Proceedings 4th Workshop on Formal Integrated Development Environment
Published
0
Optional Fields
284
2075-2180
10.4204/EPTCS.284
Grant Details