245 followers
Certificates for Parameterized Model Checking. - Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi http://t.co/unErj6bZjT
Certificates for Parameterized Model Checking. - Sylvain Conchon, Alain Mebsout, Fatiha Zaïdi http://t.co/unErj6bZjT