VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language. Smans, J., Jacobs, B., & Piessens, F. In FMOODS, volume 5051, of Lecture Notes in Computer Science, pages 220–239, 2008. Springer. bibtex @inproceedings{DBLP:conf/fmoods/SmansJP08,
author = {Jan Smans and
Bart Jacobs and
Frank Piessens},
title = {VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language},
booktitle = {{FMOODS}},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {220--239},
publisher = {Springer},
year = {2008}
}
Downloads: 0
{"_id":"2gMXkA3GZ9Ms6rofC","bibbaseid":"smans-jacobs-piessens-vericoolanautomaticverifierforaconcurrentobjectorientedlanguage-2008","downloads":0,"creationDate":"2018-08-29T13:17:52.293Z","title":"VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language","author_short":["Smans, J.","Jacobs, B.","Piessens, F."],"year":2008,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb0/p/Piessens:Frank.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jan"],"propositions":[],"lastnames":["Smans"],"suffixes":[]},{"firstnames":["Bart"],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["Frank"],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"title":"VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language","booktitle":"FMOODS","series":"Lecture Notes in Computer Science","volume":"5051","pages":"220–239","publisher":"Springer","year":"2008","bibtex":"@inproceedings{DBLP:conf/fmoods/SmansJP08,\n author = {Jan Smans and\n Bart Jacobs and\n Frank Piessens},\n title = {VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language},\n booktitle = {{FMOODS}},\n series = {Lecture Notes in Computer Science},\n volume = {5051},\n pages = {220--239},\n publisher = {Springer},\n year = {2008}\n}\n\n","author_short":["Smans, J.","Jacobs, B.","Piessens, F."],"key":"DBLP:conf/fmoods/SmansJP08","id":"DBLP:conf/fmoods/SmansJP08","bibbaseid":"smans-jacobs-piessens-vericoolanautomaticverifierforaconcurrentobjectorientedlanguage-2008","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["vericool","automatic","verifier","concurrent","object","oriented","language","smans","jacobs","piessens"],"keywords":[],"authorIDs":[],"dataSources":["cjvMqzGsyByuD9JLe"]}