Using the Z specification language to describe logics and constraint systems
Abstract
no abstract
Reports
(Research Report)
Year : 2007
William Domingues Vinhas : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01488818
Submitted on : Monday, March 13, 2017-11:55:49 PM
Last modification on : Friday, March 24, 2023-2:53:04 PM
Dates and versions
Identifiers
- HAL Id : hal-01488818 , version 1
Cite
Laurent Henocque. Using the Z specification language to describe logics and constraint systems. [Rapport de recherche] LSIS.RR.2007.012, LSIS InCA. 2007. ⟨hal-01488818⟩
Collections
62
View
0
Download