{"labels":{"en":"IVVES (Industrial-Grade Verification and Validation of Evolving Systems)"},"descriptions":{"en":"scientific paper published in CEUR-WS Volume 3144"},"claims":{"P31":"Q13442814","P1433":"Q113529231","P1476":{"text":"IVVES (Industrial-Grade Verification and Validation of Evolving Systems)","language":"en"},"P407":"Q1860","P953":"https://ceur-ws.org/Vol-3144/RP-paper6.pdf","P50":[],"P2093":[{"value":"Pekka Aho","qualifiers":{"P1545":"1"}},{"value":"Tanja E. J. Vos","qualifiers":{"P1545":"2"}},{"value":"Otto Sybrandi","qualifiers":{"P1545":"3"}},{"value":"Sorin Patrasoiu","qualifiers":{"P1545":"4"}},{"value":"Joona Oikarinen","qualifiers":{"P1545":"5"}},{"value":"Olivia Rodriguez Valdes","qualifiers":{"P1545":"6"}},{"value":"Lianne V. Hufkens","qualifiers":{"P1545":"7"}}]}}