Home >

news Help

Publication Information


Title
Japanese:Isabelle/HOLによる高階確率的プログラム検証 
English: 
Author
Japanese: 平田路和, 南出靖彦, 佐藤哲也.  
English: Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato.  
Language Japanese 
Journal/Book name
Japanese: 
English: 
Volume, Number, Page        
Published date Aug. 2021 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第38回大会 
English: 
Conference site
Japanese: 
English: 
Official URL https://jssst2021.wordpress.com/
 

©2007 Tokyo Institute of Technology All rights reserved.