Treffer: Writing Concurrent Java Programs Based on CafeOBJ Specifications
Title:
Writing Concurrent Java Programs Based on CafeOBJ Specifications
Authors:
Source:
2017 24th Asia-Pacific Software Engineering Conference (APSEC) APSEC Asia-Pacific Software Engineering Conference (APSEC), 2017 24th. :618-623 Dec, 2017
Relation:
2017 24th Asia-Pacific Software Engineering Conference (APSEC)
Database:
IEEE Xplore Digital Library