7 citations · 33 across the 8 of their papers we have counts for
1 paper · 1 filter
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…