Algebraic Specification and Verification

Algebraic Specification and Verification

Home
Support & Contact
- Privacy Policy
Download & Install
Documentation
Personnel
Activities
Links

Home » cafeobj-logo

Search for:

Recent Posts

CafeOBJ 1.5.8 released
CafeOBJ 1.5.7 released
Book published: Introduction to programming for model description and validation (in Japanese)
CafeOBJ Tutorial at ICFEM 2016
ESSLLI 2016 Course: Algebraic Specification and Verification with CafeOBJ

Meta

Log in
Entries RSS
Comments RSS
WordPress.org

cafeobj-logo

Published September 11, 2014 at dimensions 1666 × 888 in cafeobj-logo.

Next →

https://cafeobj.org/wp-content/uploads/2014/09/cafeobj-logo1-1024x545.png https://cafeobj.org/wp-content/uploads/2014/09/cafeobj-logo-small.png https://cafeobj.org/wp-content/uploads/2014/09/cafeobj-logo-small1.png

Leave a comment Cancel reply

Your email address will not be published. Required fields are marked *

Comment

Name *

Email *

Website

Notify me of new posts by email.

· © 2018 CafeOBJ ·

We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.Ok Privacy policy