AJPF

swMATH28499MaRDI QIDQ40213FDOQ40213

Author name not available (Why is that?)

Cited In (2)

• Two-stage agent program verification
• Using agent JPF to build models for other model checkers

This page was built for software: AJPF