Combio paper in Computers in Biology and Medicine

Our paper Usman Sanwal, Luigia Petre, Ion Petre – “Stepwise Construction of a Metabolic Network in Event-B: the Heat Shock Response”. The paper is highly significant as it open a new line of research, of using key formal methods-based approaches (in particular formal refinement and automatic theorem provers) for biomodeling.