Specifying and Checking Java using CSP
Year: 2002
Type: article
Author: Michael Möller
Institution: Carl von Ossietzky Universität Oldenburg
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2139601508