Publications in collaboration with researchers from SRI International (2)

2012

  1. PVS linear algebra libraries for verification of control software algorithms in C/ACSL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2006

  1. Message from the chairpersons

    Proceedings of 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications, CIMSA 2006