ComLisp

swMATH28723MaRDI QIDQ40437FDOQ40437

Author name not available (Why is that?)

Cited In (3)

• On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention
• 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