1 paper · 1 filter
Konstantinos Barlas, George Koletsos, Petros Stefaneas
The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that c…