Java Program Verification at Nijmegen: Developments and Perspective

Authors :: Futatsugi, K.
Mizoguchi, F.
Yonezaki, N.
Jacobs, B.
Poll, E.
Futatsugi, K.
Mizoguchi, F.
Yonezaki, N.
Jacobs, B.
Poll, E.
Source :: Futatsugi, K.; Mizoguchi, F.; Yonezaki, N. (ed.), Software Security -- Theories and Systems; 134; 153; 354030231X; ; 3233; Futatsugi, K.; Mizoguchi, F.; Yonezaki, N. (ed.), Software Security -- Theories and Systems~~134~153~~354030231X~~~~; 3233~
Publication Year :: 2004
Abstract: Contains fulltext : 57646.pdf (author's version ) (Open Access)

Database :: OAIster
Journal :: Futatsugi, K.; Mizoguchi, F.; Yonezaki, N. (ed.), Software Security -- Theories and Systems; 134; 153; 354030231X; ; 3233; Futatsugi, K.; Mizoguchi, F.; Yonezaki, N. (ed.), Software Security -- Theories and Systems~~134~153~~354030231X~~~~; 3233~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1284116923
Document Type :: Electronic Resource