View of Early Validation of Functional Requirements and Transition to Source Code with Event-B

##article.return## Early Validation of Functional Requirements and Transition to Source Code with Event-B Download Download PDF