Parallel Bounded Verification of Alloy Models by TranScoping \textbar SpringerLink Article uri icon

  •  
  • Overview
  •