ComLisp

MaRDI QIDQ40437swMATHFDO

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
• scientific article; zbMATH DE number 2081101 (Why is no real title available?)

This page was built for software: ComLisp