Die gezeigten Posts sind akkurat bei Änderungen, die vor Kurzem vorgenommen worden. Wollen Sie jedoch mehr Sortierungsmöglichkeiten, folgen Sie dem folgenden Link.
P. Schmitt, und I. Tonin. Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), Seite 47--58. IEEE Computer Society, (2007)