Work

Improving Formal Methods Visualizations

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1109/icse-companion66252.2025.00070

Author: Avinash Palliyil

Institution: Georgia Institute of Technology

Language: English

Topic: Data Visualization and Analytics

Subfield: Computer Vision and Pattern Recognition

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411271687

FWCI:

Cites: 10

Cited by:

Related to: 10