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 : Friday, August 5, 2022 - 2:58:08 PM

Links full text

openaccess

Identifiers

Collections

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

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

7