Reasoning About Universal Cubes in MCMT - Archive ouverte HAL Access content directly
Book Sections Year : 2019

Reasoning About Universal Cubes in MCMT

(1) ,
1
Mattias Roux
  • Function : Author

Dates and versions

hal-03476701 , version 1 (13-12-2021)

Identifiers

Cite

Sylvain Conchon, Mattias Roux. Reasoning About Universal Cubes in MCMT. Formal Methods and Software Engineering, 11852, Springer International Publishing, pp.270-285, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-32409-4_17⟩. ⟨hal-03476701⟩
6 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More