Sciweavers

CONCURRENCY
2004

Simple verification technique for complex Java bytecode subroutines

13 years 11 months ago
Simple verification technique for complex Java bytecode subroutines
Alessandro Coglio
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2004
Where CONCURRENCY
Authors Alessandro Coglio
Comments (0)