Hironobu Kuruma (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 2 from 5 records - Hironobu Kuruma has 8 coauthors

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