José Francisco Creissac Freitas de Campos
AuthID: R-000-8B9
11
TITLE: Automated theorem proving for the systematic analysis of interactive systems Full Text
AUTHORS: Harrison, M. D.; P. Masci; Campos, J. Creissac; P. Curzon;
PUBLISHED: 2013
AUTHORS: Harrison, M. D.; P. Masci; Campos, J. Creissac; P. Curzon;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle