Title

Modelling and Evaluating Theories Involving Sequences: Description of a Formal Method

Document Type

Article

Publication Date

8-1980

Keywords

Formal Method

Digital Object Identifier (DOI)

https://doi.org/10.1007/BF00184717

Was this content written or created while at USF?

Yes

Citation / Publisher Attribution

Quality and Quantity, v. 14, issue 4, p. 511-518

Share

COinS