José Francisco Creissac Freitas de Campos


AuthID: R-000-8B9

Confirmed Publications: 131



131
TITLE: Formally verifying interactive systems: A review
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 1997, SOURCE: Design, Specification and Verification of Interactive Systems'97, Proceedings of the Fourth International Eurographics Workshop, June 4-6, 1997, Granada, Spain
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Página 14 de 14. Total de resultados: 131.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service