TECHNICAL PERSPECTIVE: Checking Invariant Confluence, In Whole or In Parts

Johannes Gehrke

Available in: PDF

133 Downloads