{"article":{"@attributes":{"key":"journals\/corr\/abs-1211-1172","publtype":"informal","mdate":"2018-08-13"},"author":"Thai Son Hoang","title":"Proof Hints for Event-B","ee":"http:\/\/arxiv.org\/abs\/1211.1172","year":"2012","journal":"CoRR","volume":"abs\/1211.1172","url":"db\/journals\/corr\/corr1211.html#abs-1211-1172"}}