1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Anna Zamansky, Maria Spichkova, Guillermo Rodriguez-Navas +2
The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used fo…