Skip to content
STIMSMITH

Brno University of Technology

Organization
First seen 7/28/2026
Last seen 7/28/2026
Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections
Input and Output Generation for the Verification of ALU: a Use Case ← authored by 100% 1e
The paper is affiliated with Brno University of Technology.
J. Podivinsky ← part of 75% 1e
J. Podivinsky is a collaborator on related work from Brno University of Technology.