Articles
Special issues and article collections
Automated Specification and Verification of Web Systems
Edited by Dr. Laura Kovács, Dr. Rosario Pugliese, Dr. Josep Silva, Dr. Francesco Tiezzi
November 2013
Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11)
Edited by Prof. Ernesto Pimentel, Prof. Valentín Valero
July–October 2013
Rewriting Logic and its Applications
Edited by Dr. Peter Csaba Ölveczky, Prof. Narciso Martí-Oliet
October–November 2012
12th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2011)
Edited by Dr Harrie de Swart
August 2012
ISSN: 1567-8326
Copyright © 2024 Elsevier Inc. All rights reserved