Other Journal Details
Mandatory Fields
Monahan R.;Prevosto V.;Proença J.
2019
December
Electronic Proceedings in Theoretical Computer Science, EPTCS
Proceedings Fifth Workshop on Formal Integrated Development Environment
Published
0
Optional Fields
310
2075-2180
10.4204/EPTCS.310
Grant Details