Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs

Ediciones (1)

• Proceedings of the 18th Workshop on Formal Techniques for Java-Like Programs (2016)

  Association for Computing Machinery · inglés · ISBN 9781450344395

Más obras de Camil Demetrescu

Experimental Algorithms

Algorithms – ESA 2011