Article

Formal Methods Virtual Library

N/ACitations

Citations of this article

5Readers

Mendeley users who have this article in their library.

Cite

CITATION STYLE

APA

Formal Methods Virtual Library. (n.d.). Retrieved from http://vl.fmnet.info

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account? Sign in

Sign up for free

Get Mendeley

Mendeley for your desktop
Mendeley for Microsoft Word
Mendeley for your browser
Pricing
Datasets

Support

Guides
Support Center
Release Notes
Developers
Responsibility Sharing

About Us

Blog
Advisor Community
Accessibility Statement
AI Statement

Copyright
Terms of Use
Privacy Policy

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies.

All content on this site: Copyright © 2025 Elsevier.com, its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

Save time finding and organizing research with Mendeley

Sign up for free