{"version":"1.0","type":"link","title":"B-Method - Newikis","description":"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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}