Project-Team Proval Proof of programs

by Saclay Île-de-france

Datum	Value	Source
TITLE	Project-Team Proval Proof of programs	SVM HeaderParse 0.2
AUTHOR NAME	Saclay Île-de-france	SVM HeaderParse 0.2
AUTHOR AFFIL	; Theme: Programs, Verification and Proofs	SVM HeaderParse 0.2
AUTHOR ADDR	; 1. Team.................................................................................... 1	SVM HeaderParse 0.2
ABSTRACT	c t i v it y e p o r t 2009 Table of contents	SVM HeaderParse 0.2
CITATIONS	72 found	ParsCit 1.0