skip to main content
Language:

Applied Formal Methods: FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings

Hutter, Dieter ; Stephan, Werner ; Traverso, Paolo ; Ullmann, Markus Ullmann, Markus ; Traverso, Paolo ; Hutter, Dieter ; Stephan, Werner

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Full text available

Citations Cited by
Back to results list
Go to Previous pagePrevious Result  14 NextGo to Next page

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far