24th IEEE/ACM International Conference on Automated Software Engineering Conference

Publications

related documents

Symbolic Deadlock Analysis in Concurrent Libraries and their Clients Conference Proceeding