Is There a Future for Deductive Temporal Verification?

Clare Dixon, Michael Fisher, Boris Konev

Browse the full TIME paper archive.