Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an: Anmelden

Treffer: Functional Verification of Class Invariants in CleanJava.

Title:

Functional Verification of Class Invariants in CleanJava.

Authors:

Avila, Carmen, Cheon, Yoonsik

Source:

Innovations & Advances in Computer, Information, Systems Sciences & Engineering; 2013, p1067-1076, 10p

Database:

Complementary Index

Links