Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Formal Aspects of Computing
Volumes and issues
Volume 14, Issue 4
Formal Aspects of Computing
Applicable Formal Methods
Publishing model
:
Hybrid
Formal Aspects of Computing
is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles
Volume 14, Issue 4
April 2003
4 articles in this issue
Editorial
Editorial
Pages: 339 - 339
Obituary
Kristen Nygaard
OBITUARY
Pages: 340 - 341
On Closure Under Stuttering
Dimitrie O. Păun
Marsha Chechik
Original Article
Pages: 342 - 368
Abstract Data Types Can Have Inequations
1
Hidetaka Kondoh
Original Article
Pages: 369 - 399
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research