Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: Predictive Typestate Checking of Multithreaded Java Programs.

Title:

Predictive Typestate Checking of Multithreaded Java Programs.

Authors:

Joshi, P., Sen, K.

Source:

2008 23rd IEEE/ACM International Conference on Automated Software Engineering; 2008, p288-296, 9p

Database:

Complementary Index

Links