Scientific Annals of Computer Science

Scientific Annals of Computer Science (SACS) is an international journal covering all areas of computer science. It is devoted to papers containing full and detailed proofs of the main results, full experimental details (so that the results can be reproduced), and all necessary examples and explanations.

works as

journal containing

Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli