Eduardo Augusto Peixoto da Silva Brito


AuthID: R-001-P86

Confirmed Publications: 1



1
TITLE: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTHORS: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106
INDEXED IN: Scopus WOS DBLP CrossRef

A place for researchers and their institutions

Useful Links

Get Help

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