scientific article; zbMATH DE number 5954569
From MaRDI portal
Publication:3172737
zbMATH Open1358.68194MaRDI QIDQ3172737FDOQ3172737
Authors: T. Mizutani, S. Igarashi, M. Shio, Yasuwo Ikeda 
Publication date: 5 October 2011
Title of this publication is not available (Why is that?)
Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Other applications of logic (03B80)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172737)
