Algebraic Specification and Verification

Algebraic Specification and Verification

Home
Support & Contact
Download & Install
Documentation
Personnel
Activities
Links

Home » cafeobj-logo

Search for:

Recent Posts

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
CafeOBJ 1.5.5 released

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

Save my name, email, and website in this browser for the next time I comment.

Notify me of new posts by email.

· © 2018 CafeOBJ ·