scientific article; zbMATH DE number 7633799

MaRDI QIDQ5057637

Carlos G. López Pombo, Agustín Eloy Martinez Suñé

Publication date: 16 December 2022

Full work available at URL: https://arxiv.org/abs/2206.07180

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of software (68Nxx)

Uses Software

• PVS
• CafeOBJ
• Kodkod
• HeteroGenius
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: