vix.ing · top · new · best · stats · spec

Klimek, Radoslaw

  1. RE-oriented Model Development with LLM Support and Deduction-based Verification
    2025/06/10 by Radosław Klimek, Klimek, Radoslaw · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE) #Software Engineering Techniques and Practices