Extended version of the article ‘TacoPlug: An Eclipse Plug-In for TACO’ presented on TOPI 2012
Special Issue Paper
Practical JFSL verification using TACO†
Article first published online: 11 NOV 2013
Copyright © 2013 John Wiley & Sons, Ltd.
Software: Practice and Experience
Special Issue: Focus Section on Developing Tools as Plug-ins: TOPI 2012
Volume 44, Issue 3, pages 317–334, March 2014
How to Cite
Chicote, M., Ciolek, D. and Galeotti, J.P. (2014), Practical JFSL verification using TACO. Softw: Pract. Exper., 44: 317–334. doi: 10.1002/spe.2237
- Issue published online: 5 FEB 2014
- Article first published online: 11 NOV 2013
- Manuscript Accepted: 30 SEP 2013
- Manuscript Received: 22 OCT 2012
Options for accessing this content:
- If you have access to this content through a society membership, please first log in to your society website.
- If you would like institutional access to this content, please recommend the title to your librarian.
- Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
- You can purchase online access to this Article for a 24-hour period (price varies by title)
- If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
- New Users: Please register, then proceed to purchase the article.
Login via OpenAthens
Search for your institution's name below to login via Shibboleth.
Registered Users please login:
- Access your saved publications, articles and searches
- Manage your email alerts, orders and subscriptions
- Change your contact information, including your password
Please register to:
- Save publications, articles and searches
- Get email alerts
- Get all the benefits mentioned below!