Sciweavers

16218 search results - page 107 / 3244
» Standards
Sort
View
ICSE
1997
IEEE-ACM
15 years 10 months ago
Using Formal Methods to Reason about Architectural Standards
Kevin J. Sullivan, John Socha, Mark Marchukov