4 citations · 4 across the 1 of their papers we have counts for
1 paper
Thomas Fayolle, Marc Frappier, Régine Laleau +1
In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This tra…