A Categorical Approach to Structuring and Promoting Z Specifications \textbar SpringerLink Article uri icon

  •  
  • Overview
  •