GitHub - vgheo/b-method-training: Training material for B-Method · GitHub

Name		Name	Last commit message	Last commit date
Lift Specification		Lift Specification
TestCaseGeneration		TestCaseGeneration
atelierb-setup-tests		atelierb-setup-tests
atelierb		atelierb
notes/vlad		notes/vlad
svg		svg
tools-doc		tools-doc
training		training
.gitignore		.gitignore
.project		.project
README.md		README.md

Repository files navigation

This is the git repository for B Method Training activities

Current training - 2015Q3.

About

Training material for B-Method

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages