Hironobu Kuruma (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19

4 David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff: Verifying a signature architecture: a comparative case study. Formal Asp. Comput. 19(1): 63-91 (2007)

3 David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285

Selection of 3 from 5 records - Hironobu Kuruma has 8 coauthors

5		Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial: Developing Topology Discovery in Event-B. IFM 2009: 1-19
4		David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff: Verifying a signature architecture: a comparative case study. Formal Asp. Comput. 19(1): 63-91 (2007)
3		David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff: Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285