Name Card

Full name Familienname, Vorname

Nagashima, Yutaka

Main Affiliation Organisationszuordnung

Czech Technical University in Prague, Tschechien

Own Publications Eigene Publikationen

All

Conference Papers

Access Type

1 Open Access

Author

1 Nagashima, Yutaka

Subject

1 computer-aided system design

Date issued

1 2000 - 2024

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Nagashima, Yutaka	Smart Induction for Isabelle/HOL (Tool Paper)	Konferenzbeitrag Inproceedings	2020