Science of Computer Programming, Volume 92

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)
maintained by Schloss Dagstuhl LZI at University of Trier