Work

Activities of Working Group on verification of PASCAL. Fiscal years 2016 and 2017

Year: 2020

Type: article

DOI: 10.11484/jaea-review-2020-011

Authors: Yinsheng Li, Takatoshi Hirota, Yu Itabashi, Masato Yamamoto, Yasuhiro Kanto, Masahide Suzuki, Yuhei Miyamoto

Institutions: Japan Atomic Energy Agency, Mitsubishi Heavy Industries (Japan), IHI Corporation (Japan), Central Research Institute of Electric Power Industry, Ibaraki University, Nagaoka University of Technology, Mizuho Research & Technologies, Ltd. (Japan)

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3211216570

FWCI:

Cites:

Cited by:

Related to: 20