Science of Computer Programming, Volume 92

Refine list

showing all ?? records

Volume 92, Part A, October 2014

Special issue on Bytecode 2012

Volume 92, Part B, October 2014

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics