Run-Time Checking Multi-threaded Java Programs

DOI10.1007/978-3-662-49192-8_18zbMath1442.68022OpenAlexW2295039916MaRDI QIDQ2794361

Stijn De Gouw, Frank S. de Boer

Publication date: 10 March 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/25173

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Run-Time Checking Multi-threaded Java Programs