Erweiterung der Untersuchung `Beweistechniken für Fäden in JAVA` durch Bereitstellung einer realistischen Semantik und einer korrespondierenden Beweistechnik eines konkurrierenden JAVA-Fragments

• Antragsteller: Professor Dr. Willem-Paul de Roever
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 2001 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5330420

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen