A
Menu
January 01, 2011 conference-abstract

Automatic code generation from event-B models

Symposium on Information and Communication Technology (SoICT)

DOI: 10.1145/2069216.2069252 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 101

1 result

References 0