Modelling Hybrid Programs with Event-B Chapter uri icon

publication date

  • January 1, 2020

start page

  • 139

end page

  • 154