most citedSymNet: scalable symbolic execution for modern networks

10 citations · 11 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2012★ 1 cited

A Formal Approach for the Development of Service-Oriented Applications

Lorina Negreanu, Cristian Giumale, Alexandru Agache +3

Please cite this as "Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Ap…