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: Model checking Java programs (abstract only).

Title:

Model checking Java programs (abstract only).

Authors:

Dill, David

Source:

Proceedings of the 2000 ACM SIGSOFT International Symposium: Software Testing & Analysis; 8/1/2000, p179, 1p

Database:

Complementary Index

Links