book

2011 First International Workshop on Software Certification

Published in 2011

Reference details