Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2016

Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings

No file

Dates and versions

hal-01387207 , version 1 (25-10-2016)

Identifiers

  • HAL Id : hal-01387207 , version 1

Cite

Sandrine Blazy, Marsha Chechik. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, Canada, July 17-18, 2016. Proceedings. Sandrine Blazy and Marsha Chechik. Verified Software: Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Jul 2016, Toronto, Canada. 9971, Springer, 2016, Lecture Notes in Computer Science. ⟨hal-01387207⟩
207 View
0 Download

Share

Gmail Facebook X LinkedIn More