1969/02/01 by Ted Petrie, T. Petrie · 1 voice · 2 citationsComputer Science · #Formal Methods in Verification
paper · pdf · doi:10.1214/aoms/1177697807