Francisco Oliveira | VeriFixer Projecthttps://verifixer.github.io/author/francisco-oliveira/Francisco OliveiraHugo Blox Builder (https://hugoblox.com)en-usSun, 20 Jul 2025 00:00:00 +0000https://verifixer.github.io/media/icon_hu7058158995025993571.pngFrancisco Oliveirahttps://verifixer.github.io/author/francisco-oliveira/What Challenges do Developer Face when using Verification-Aware Languages?https://verifixer.github.io/publication/2025/issre/Sun, 20 Jul 2025 00:00:00 +0000https://verifixer.github.io/publication/2025/issre/