scientific article; zbMATH DE number 7311344
From MaRDI portal
Publication:5151038
zbMath1456.68017MaRDI QIDQ5151038
Frank Ortmeier, Matthias Güdemann
Publication date: 16 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2010.8
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication:
