Home
DCC eCatalog
Ariel__Fuxman
Information systems as social structures
Model Checking Early Requirements Specifications in Tropos
