Specification and Analysis of SOC Systems using COWS: A Finance Case Study (2009)

by F Banti, A Lapadula, R Pugliese, F Tiezzi
Venue:In WWV, ENTCS 235