Skip to contents

  1. Pepper, Peter; Wirsing, Martin; Betschko, Ralph; Broy, Manfred; Dick, Sabine; Didrich, Klaus; Faulhaber, Joachim; Grieskamp, Wolfgang; Hußmann, Heinrich; Mehlich, Michael; Reif, Wolfgang; Beyer, Martin; Gastinger, Stefan; Heisel, Maritta; von Henke, Friedrich; Junbo, Liu; Krieg-Brückner, Bernd; Santen, Thomas; Schellhorn, Gerhard; Slotosch, Oscar; Stenzel, Kurt; Strecker, Martin; Vlachantonis, Nikolas; Wolff, Burkhart

    KORSO: Methods, Languages, and Tools for the Construction of Correct Software: A method for the development of correct software

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer Berlin Heidelberg, 1995

    Published in: KORSO: Methods, Languages, and Tools for the Construction of Correct Software

  2. Hudson, Lawrence N.; Newbold, Tim; Contu, Sara; Hill, Samantha L. L.; Lysenko, Igor; De Palma, Adriana; Phillips, Helen R. P.; Alhusseini, Tamera I.; Bedford, Felicity E.; Bennett, Dominic J.; Booth, Hollie; Burton, Victoria J.; Chng, Charlotte W. T.; Choimes, Argyrios; Correia, David L. P.; Day, Julie; Echeverría‐Londoño, Susy; Emerson, Susan R.; Gao, Di; Garon, Morgan; Harrison, Michelle L. K.; Ingram, Daniel J.; Jung, Martin; Kemp, Victoria; [...]

    The database of the PREDICTS (Projecting Responses of Ecological Diversity In Changing Terrestrial Systems) project

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Wiley, 2017

    Published in: Ecology and Evolution