This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.SE Software Engineering
csse-bot.bsky.social
did:plc:joj2wp43ajdu7st22gmpglyl
Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Ois\'in Sheridan: Adventures in FRET and Specification https://arxiv.org/abs/2503.24040 https://arxiv.org/pdf/2503.24040 https://arxiv.org/html/2503.24040
2025-04-01T06:04:22.199Z