A temporal-logic approach to binding-time analysis (1996)

by Rowan Davies
Venue:In Proceedings, 11 th Annual IEEE Symposium on Logic in Computer Science
Citations:80 - 5 self