An overview of JML tools and applications

Authors :: Burdy, Lilian
Cheon, Yoonsik
Cok, David
Ernst, Michael
Kiniry, J.R.
Leavens, G.T.
Leino, K. Rustan
Poll, E.
Burdy, Lilian
Cheon, Yoonsik
Cok, David
Ernst, Michael
Kiniry, J.R.
Leavens, G.T.
Leino, K. Rustan
Poll, E.
Source :: International Journal on Software Tools for Technology Transfer; 212; 232; 1433-2779; 3; 7; ~International Journal on Software Tools for Technology Transfer~212~232~~~1433-2779~3~7~~
Publication Year :: 2005
Abstract: Contains fulltext : 33286.pdf (preprint version ) (Open Access)

Database :: OAIster
Journal :: International Journal on Software Tools for Technology Transfer; 212; 232; 1433-2779; 3; 7; ~International Journal on Software Tools for Technology Transfer~212~232~~~1433-2779~3~7~~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1367214847
Document Type :: Electronic Resource