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

Reasoning About Universal Cubes in MCMT

(1) ,
1
Sylvain Conchon
  • Function : Author
Laboratoire Méthodes Formelles
Mattias Roux
  • Function : Author

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Sylvain Conchon  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03476701

Submitted on : Monday, December 13, 2021-10:22:13 AM

Last modification on : Friday, August 5, 2022-2:58:08 PM

Consult the full text

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
6 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More