12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Time versus abstraction in formal descriptions.
View graph of relations

« Back

Time versus abstraction in formal descriptions.

Research output: Contribution in Book/Report/ProceedingsChapter

Published

Publication date1994
Host publicationProceedings of the Sixth International Conference on Formal Description Techniques (Forte '93)
EditorsR. L. Tenney, P. D. Amer, Umiy Uyar
Place of publicationNorth Holland
PublisherElsevier
Original languageEnglish