default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 126
Volume 126, September 2016
- Christiano Braga, Narciso Martí-Oliet
:
Preface to SCP special issue with extended selected papers from SBMF 2014. 1-2 - Daniel Calegari, Till Mossakowski, Nora Szasz:
Heterogeneous verification in the context of model driven engineering. 3-30 - Alberto Ciaffaglione:
Towards Turing computability via coinduction. 31-51 - Alan Moraes, Wilkerson de L. Andrade, Patrícia D. L. Machado:
A family of test selection criteria for Timed Input-Output Symbolic Transition System models. 52-72 - Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
Proof theory for hybrid(ised) logics. 73-93 - Nils Timm, Stefan Gruner:
Parameterised three-valued model checking. 94-110
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-04 19:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
