August 2010

Journal

An Axiom System for Sequence-Based Specification

By:
Lin, Lan ; Prowell, Stacy J; Poore Jr, Jesse H
Journal Name:
Theoretical Computer Science
Page Number:
360-376
Volume:
411
Issue Number:
2
Publication Date:
August 2010

Related Researchers