Reports
(Technical Report)
Year : 2015
David Nowak : Connect in order to contact the contributor
https://hal.science/hal-01712416
Submitted on : Monday, February 19, 2018-2:44:46 PM
Last modification on : Friday, March 24, 2023-2:53:06 PM
Dates and versions
Identifiers
- HAL Id : hal-01712416 , version 1
Cite
Dorel Lucanu, Andrei Arusoaie, Vlad Rusu, David Nowak. Verifying reachability-logic properties on rewriting-logic specifications (extended version). [Technical Report] Faculty of Computer Science, University “Alexandru Ioan Cuza” of Iasi, Str. Berthelot 16, 6600-Iasi, Romania. 2015. ⟨hal-01712416⟩
Collections
83
View
0
Download