Proving Event-B Models with Reusable Generic Lemmas. Conferences uri icon

  •  
  • Overview
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

authors

  • Lawford, Mark
  • Iliasov, Alexei
  • Stankaitis, Paulius
  • Romanovsky, Alexander B

publication date

  • 2016

published in