Generation, composition, and verification of families of human-intensive systems.

Borislava I. Simidchieva, Leon J. Osterweil

Browse the full SPLC paper archive.