Efficient Refinement Checking using VCC

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Unknown book
State	Published - 2014
Event	Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014) - Duration: Jan 1 2014 → …

Conference	Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014)
Period	01/1/14 → …

Cite this

@inproceedings{de14cfdbcd44402098db297810034015,

title = "Efficient Refinement Checking using VCC",

author = "Sumesh Divakaran and Deepak D'Souza and Nigamanth Sridhar",

year = "2014",

language = "English",

booktitle = "Unknown book",

note = "Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014) ; Conference date: 01-01-2014",

}