Work

Swift/Tを用いたデスクトップ大規模モデル探査まで【Powered by NICT】

Year: 2016

Type: conference-paper

Source: IEEE Conference Proceedings

Authors: Jonathan Ozik, Todd Nicholson, M Wozniak Justin, Carmine Spagnuolo

Language: Japanese

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2748280137

FWCI:

Cites:

Cited by:

Related to: