{"identifier":"nobleid:/w1/20260521/CF2CF849","arkIdentifier":"ark:/48914/w1/20260521/CF2CF849","version":1,"workTitle":"Proceedings International Conference on Software Methods and Tools. SMT 2000","workType":"Journal Article","authors":"Unknown","description":null,"workUrl":null,"existingDoi":"10.1109/swmt.2000.890412","createdAt":"2026-05-21T19:36:55.619756Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/CF2CF849.v1"}