Skip to Main content Skip to Navigation
Books

Foundations of Software Science and Computation Structures

Patricia Bouyer 1 Lutz Schröder 2
1 LMF - Laboratoire Méthodes Formelles
2 FAU - Friedrich-Alexander Universität Erlangen-Nürnberg
Document type :
Books
Complete list of metadata
https://hal-centralesupelec.archives-ouvertes.fr/hal-03654376
Contributor : Patricia Bouyer Connect in order to contact the contributor
Submitted on : Thursday, April 28, 2022 - 3:37:54 PM
Last modification on : Saturday, April 30, 2022 - 3:34:23 AM

Links full text

openaccess

Identifiers

Collections

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

Citation

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 DC DCterms EndNote Datacite

Share

Metrics

Record views

2