Science of Computer Programming Special Issue: Automated Verification of Critical Systems

Gerald Lüttgen; Stephan Merz

Books Year : 2014

Science of Computer Programming Special Issue: Automated Verification of Critical Systems

(1) , (2)

1
2

Gerald Lüttgen

Function : Editor

University of Bamberg

Stephan Merz

Function : Scientific advisor
PersonId : 15889
IdHAL : stephan-merz
ORCID : 0000-0003-0974-1844
IdRef : 120558513

Modeling and Verification of Distributed Algorithms and Systems

Domains

Logic in Computer Science [cs.LO] Embedded Systems Software Engineering [cs.SE]

Stephan Merz : Connect in order to contact the contributor

https://inria.hal.science/hal-01084228

Submitted on : Tuesday, November 18, 2014-5:33:31 PM

Last modification on : Monday, December 2, 2024-5:46:02 PM

Dates and versions

hal-01084228 , version 1 (18-11-2014)

Identifiers

HAL Id : hal-01084228 , version 1

Cite

Gerald Lüttgen, Stephan Merz (Dir.). Science of Computer Programming Special Issue: Automated Verification of Critical Systems. Elsevier, 96 (3), 2014, Science of Computer Programming, Jan Bergstra. ⟨hal-01084228⟩

Science of Computer Programming Special Issue: Automated Verification of Critical Systems

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share