skip to main content
Show Results with:

2 results  for Everything in this catalogue

Refined by: genre: Conference literature remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Article
Add to My workspace

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java

Chimento, Jesús Mauricio et al.

Lecture notes in computer science. Number 9333 (2015); pp 297-305 -- Springer

Check library holdings

2
Material Type:
Article
Add to My workspace

A Specification Language for Static and Runtime Verification of Data and Control Properties

Ahrendt, Wolfgang et al.

Lecture notes in computer science. Number 9109 (2015); pp 108-125 -- Springer

Check library holdings

2 results  for Everything in this catalogue

Searching Remote Databases, Please Wait