HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomePublicationsPoster

Formal Contracts for Runtime Verification Support in the Ada Programming Language
Ref: CISTER-TR-150412       Publication Date: 24 to 26, Mar, 2015

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Ref: CISTER-TR-150412       Publication Date: 24 to 26, Mar, 2015
Authors:
André Pedro
,
David Pereira
,
Luis Miguel Pinho
,
Jorge Sousa Pinto


Document:
View
PDF Download
PDF


Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015).
Porto, Portugal.



Record Date: 29, Apr, 2015
Short links for this page: www.cister.isep.pt/docs/cister_tr_150412 www.cister.isep.pt/docs/1089
Previous PosterNext Poster