Ib Sørensen
原名：
Ib Sørensen
|
别名：
出生：
(岁)
出生地：
个人简介
The B-Method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software.
