[CITATION][C] A Survey of Formal Methods for Software Architecture.

L Tang, J Dong - SETP, 2007
Showing the best result for this search. See all results