@dblp

Inferring class level specifications for distributed systems.

, , , and . ICSE, page 914-924. IEEE Computer Society, (2012)

Links and resources

Tags