%0 Conference Paper %1 conf/adaEurope/PedroPPP14 %A de Matos Pedro, André %A Pereira, David %A Pinho, Luís Miguel %A Pinto, Jorge Sousa %B Ada-Europe %D 2014 %E George, Laurent %E Vardanega, Tullio %I Springer %K dblp %P 58-73 %T Towards a Runtime Verification Framework for the Ada Programming Language. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2014.html#PedroPPP14 %V 8454 %@ 978-3-319-08311-7

@inproceedings{conf/adaEurope/PedroPPP14, added-at = {2017-06-15T00:00:00.000+0200}, author = {de Matos Pedro, André and Pereira, David and Pinho, Luís Miguel and Pinto, Jorge Sousa}, biburl = {https://www.bibsonomy.org/bibtex/2b2d053e174831f8fca0fcbfaed56a1ef/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2014}, editor = {George, Laurent and Vardanega, Tullio}, ee = {https://doi.org/10.1007/978-3-319-08311-7_6}, interhash = {84c013c9fe721834df41307f76d5e01d}, intrahash = {b2d053e174831f8fca0fcbfaed56a1ef}, isbn = {978-3-319-08311-7}, keywords = {dblp}, pages = {58-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:00:34.000+0200}, title = {Towards a Runtime Verification Framework for the Ada Programming Language.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2014.html#PedroPPP14}, volume = 8454, year = 2014 }