Send email Copy Email Address
PhD Student

Rafael Dewes

Email

Phone

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Member of Groups

Publications by Rafael Dewes

Year 2023

2023-10

Compositional High-Quality Synthesis

Conference / Medium

ATVA
Proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis21st International Symposium on Automated Technology for Verification and Analysis

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page