file.pdf (684.85 kB)

Behavioral equivalence relations induced by programming logics

journal contribution

posted on 2003-01-01, 00:00 authored by S. D(Stephen D.) Brookes, William C. Rounds

Computer Science Department

History

Publisher Statement

All Rights Reserved

Date

2003-01-01

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Logic Symbolic and mathematical.Programming (Electronic computers)

Licence

Exports