Filter
Sökt på: Sökresultat
Filter
1 träff
Verified Software: Theories, Tools, Experiments
häftad,
2010,
Engelska,
ISBN 9783642150562
Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part of the Veri?ed Software Initiative …