|
ComputingReviews.com
|
FOO:a minimal modern OO calculus Gerakios P., Fourtounis G., Smaragdakis Y. FTfJP 2015 (Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic, Jul 7, 2015)1-4,2015.Type:Proceedings |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|