Derivation of java monitors
Contribuinte(s) |
J. Han M. Staples |
---|---|
Data(s) |
01/01/2006
|
Identificador | |
Idioma(s) |
eng |
Publicador |
IEEE Computer Society |
Palavras-Chave | #E1 #280302 Software Engineering #780000 - Non-Oriented Research #280301 Programming Techniques #280303 Programming Languages #280402 Mathematical Logic and Formal Languages #280403 Logics and Meanings of Programs |
Tipo |
Conference Paper |