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.
Type your institution's name in the box below. If your institution is a Wiley customer, it will appear in the list of suggested institutions and you will be able to log in to access content. Some users may also log in directly via OpenAthens.
Please note that there are currently a number of duplicate entries in the list of institutions. We are actively working on fixing this issue and apologize for any inconvenience caused.
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!