Forum: A Multiple-Conclusion Specification Logic (1996)

by D Miller
Venue:Theoretical Computer Science