Search results for: Kokichi Futatsugi
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Verification > 114-131
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Verification and Analysis > 43-52
Formal Aspects of Computing > 2017 > 29 > 2 > 309-334
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Security Protocols > 238-252
Lecture Notes in Computer Science > Software Security — Theories and Systems > Verification Methods and Tools > 461-470
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Formal Techniques > 277-290
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Software Development Techniques > 398-412
Lecture Notes in Computer Science > Advances in Information and Computer Security > Network Security > 199-216
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Program Analysis > 501-517
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 281-293
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 225-239
Lecture Notes in Computer Science > Software Security — Theories and Systems > Verification Methods and Tools > 441-460
IFIP — The International Federation for Information Processing > Design Methods and Applications for Distributed Embedded Systems > Verification and Analysis > 43-52