SHARE

Publication

An Axiom System for Sequence-Based Specification...

by Lan Lin, Stacy J Prowell, Jesse H Poore Jr

Publication Type

Journal

Journal Name

Theoretical Computer Science

Publication Date

February, 2010

Page Numbers

360 to 376

Volume

411

Issue

2