Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs
Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs
2016
Camil Demetrescu
Details
First published
2016
OL Work ID
OL36074667W
Find this book
Open Library