Schlagwort: Theories

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in…
Read More