Bibtex

Sam Procter, The OSATE Slicer: Graph-Based Reachability for Architectural Models

Back