Foundations of Software Science and Computation Structures

Patricia Bouyer; Lutz Schröder

doi:10.1007/978-3-030-99253-8

Books Year : 2022

Foundations of Software Science and Computation Structures

(1) , (2)

1
2

Patricia Bouyer

Function : Author
PersonId : 174420
IdHAL : patricia-bouyer
ORCID : 0000-0002-2823-0911
IdRef : 176675426

Laboratoire Méthodes Formelles

Lutz Schröder

Function : Author
PersonId : 825843
ORCID : 0000-0002-3146-5906

Friedrich-Alexander Universität Erlangen-Nürnberg

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Computer Science and Game Theory [cs.GT]

Patricia Bouyer : Connect in order to contact the contributor

https://hal-centralesupelec.archives-ouvertes.fr/hal-03654376

Submitted on : Thursday, April 28, 2022-3:37:54 PM

Last modification on : Friday, March 24, 2023-2:53:26 PM

Dates and versions

hal-03654376 , version 1 (28-04-2022)

Identifiers

HAL Id : hal-03654376 , version 1
DOI : 10.1007/978-3-030-99253-8

Cite

Patricia Bouyer, Lutz Schröder. Foundations of Software Science and Computation Structures. Springer International Publishing, 13242, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-99253-8⟩. ⟨hal-03654376⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

9 View

0 Download

Foundations of Software Science and Computation Structures

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share