ComLisp

swMATH28723MaRDI QIDQ40437FDOQ40437

Author name not available (Why is that?)

Official website: http://hopl.info/showlanguage.prx?exp=3517

Cited In (4)

• On Trojan horses of Thompson-Goerigk-type, their generation, intrusion, detection and prevention
• Piton
• Mechanical software verification: high level control aspects from a user's perspective
• Title not available (Why is that?)

This page was built for software: ComLisp