Z notation

Most Relevant Related Tags

• ascii [30%]
  
• lambda calculus [15%]
  
• latex [15%]
  
• object-z [15%]
  
• programming research group [15%]
  
• z user group [15%]
  
• specification language [15%]
  
• jonathan bowen [15%]
  
• international organization for standardization [15%]
  
• bertrand meyer [15%]
  
• b-method [15%]
  
• community z tools [15%]
  
• computer program [15%]
  
• formal specification [15%]
  
• formal methods [15%]
  
• jean-raymond abrial [15%]
  

This is the cloud of related tags for the Z notation concept

ascii b-method bertrand meyer community z tools computer program formal methods formal specification international organization for standardization jean-raymond abrial jonathan bowen latex lambda calculus object-z programming research group specification language z user group