Run-Time Checking Multi-threaded Java Programs

Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationSOFSEM 2016: Theory and Practice of Computer Science
Subtitle of host publication42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
EditorsRūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania
PublisherSpringer
Pages217-228
Number of pages12
ISBN (Electronic)978-3-662-49192-8
ISBN (Print)978-3-662-49191-1
DOIs
Publication statusPublished - 2016
Externally publishedYes
Event42nd International Conference on Current Trends in Theory and Practice of Computer Science - Harrachov, Czech Republic
Duration: 23 Jan 201628 Jan 2016
http://www.sofsem.cz/sofsem16/

Publication series

SeriesLecture Notes in Computer Science
Volume9587
ISSN0302-9743
SeriesTheoretical Computer Science and General Issues (LNCS subseries)
Volume9587

Conference

Conference42nd International Conference on Current Trends in Theory and Practice of Computer Science
Abbreviated titleSOFSEM 2016
Country/TerritoryCzech Republic
CityHarrachov
Period23/01/1628/01/16
Internet address

Cite this