المؤلفون: Ferrara, Pietro^Aff19, Fuchs, Raphael^Aff19, Juhasz, Uri^Aff19

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Eleftherakis, George, editor^Aff16, Hinchey, Mike, editor^Aff17, Holcombe, Mike, editor^Aff18

المصدر: Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings. 7504:63-77

المؤلفون: Juhasz, Uri

المساهمون: Gurfinkel, Arie, Müller, Peter

مصطلحات موضوعية: DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ), Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), KORREKTHEIT (THEORIE DER PROGRAMMIERUNG), CORRECTNESS (THEORY OF PROGRAMMING), DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE), ddc:004, VERIFIKATION (SOFTWARE ENGINEERING)

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5519927ed2e861de8ae8f335d4671fc1

المؤلفون: Juhasz, Uri, Kassios, Ioannis T., Müller, Peter, Nováček, Miloš, Schwerhoff, Malte, Summers, Alexander J.

مصطلحات موضوعية: Data processing, computer science, VERIFICATION (SOFTWARE ENGINEERING), ddc:004, VERIFIKATION (SOFTWARE ENGINEERING)

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a0ed4d7501867278900e1685e14581b7

المؤلفون: Ferrara, Pietro, Fuchs, Raphael, Juhasz, Uri

مصطلحات موضوعية: Data processing, computer science, THEORIE DER PROGRAMMIERUNG, TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING), OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN), TESTING + DEBUGGING (SOFTWARE ENGINEERING), THEORY OF PROGRAMMING, OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS), ddc:004

وصف الملف: application/application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4c6714cfeeb2d75c81e3cc89ad37184