Event-B

http://dbpedia.org/resource/Event-B

rdf:langString Event-B
xsd:integer 27713917
xsd:integer 1101218860
xsd:nonNegativeInteger 101
<http://dbpedia.org/resource/Category:Formal_methods>
<http://dbpedia.org/resource/Category:Formal_methods>
<http://dbpedia.org/resource/B-Method>
<http://dbpedia.org/resource/B-Method>
<http://dbpedia.org/resource/Template:R_to_section>
<http://dbpedia.org/resource/Template:R_with_possibilities>
<http://en.wikipedia.org/wiki/Event-B?oldid=1101218860&ns=0>
<http://en.wikipedia.org/wiki/Event-B>

data from the linked data cloud