Robert L. Baber

• Softwarereflexionen
• Softwarereflexionen
• Language of Mathematics
• Praktische Anwendbarkeit mathematisch rigoroser Methoden zum Sicherstellen der Programmkorrektheit