Author: "Ferrando, Angelo" / Journal: science of computer programming - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Ferrando, Angelo"' showing total 2 results

Start Over Author "Ferrando, Angelo" Journal science of computer programming

2 results on '"Ferrando, Angelo"'

1. RML: Theory and practice of a domain specific language for runtime verification

Author: Ancona, Davide, primary, Franceschini, Luca, additional, Ferrando, Angelo, additional, and Mascardi, Viviana, additional
Published: 2021
Full Text: View/download PDF

2. The early bird catches the worm: First verify, then monitor!

Author: Ferrando, Angelo, primary
Published: 2019
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results