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

Other information and computing sciences not elsewhere classified

Keywords

Logic Symbolic and mathematical.Programming (Electronic computers)Information and Computing Sciences not elsewhere classified

Licence

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM

DC