Volker Stolz
Professor; Høgskulen på Vestlandet, Bergen
CV: https://lambda.foldr.org/~vs/stolz-4p.pdf
Academic Interests
- Formal methods
- Functional and logic programming
- Aspect-oriented programming
- Program analysis and transformation
- Runtime verification
Past Events
- NIK 2016, Norwegian Informatics Conference / Norwegian ICT conference on research and education, November 28.-30. 2016, Bergen, Norway
- RV'16, Intl. Conf. on Runtime Verification & summer school, September 23.-30. 2016, Madrid, Spain
- ATPS 2016, 9. Arbeitstagung Programmiersprachen, February 25.-26. 2016, Vienna, Austria
- FM 2015, 20th International Symposium on Formal Methods, June 22.-26. 2015, Oslo, Norway
- 13th Overture Workshop, colocated with FM'15, Oslo, Norway
- TASE 2015, 9th International Symposium on Theoretical Aspects of Software Engineering September 12-14, 2015, Nanjing, China
- 8. Arbeitstagung Programmiersprachen (ATPS), co-located with Software Engineering 2015, Dresden, Germany
- TIME 2014, 21th International Symposium on Temporal Representation and Reasoning, Verona, Italy
- TASE 2014, 8th International Symposium on Theoretical Aspects of Software Engineering September 1-3, 2014, Changsha, China
- ICECCS 2014, 19th International Conference on Engineering of Complex Computer Systems, 4-7 August 2014, Tianjin, China
- 7. Arbeitstagung Programmiersprachen (ATPS), co-located with Software Engineering 2014, Kiel, Germany (Co-Chair)
- Harnessing Theories for Tool Support in Software (TTSS'13), October 2013, Nanchang, China (Co-Chair)
- 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), Pensacola, USA
- 3rd Intl. Workshop on on Safety and Security in Cyber-Physical Systems (SSCPS 2013), Washington D.C., USA
- IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), July 2013, Singapore
- 6. Arbeitstagung Programmiersprachen (ATPS), co-located with Software Engineering 2013, Aachen, Germany
- 9th Intl. Symp. Formal Aspects of Component Software (FACS 2012), September, Mountain View, USA
- 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), Paris, France
- Intl. Workshop on Model Based Software Engineering (IWMBSE 2012), Shanghai, China
- 2nd Intl. Workshop on on Safety and Security in Cyber-Physical Systems (SSCPS 2012), Washington D.C., USA
- 5th International workshop UML and Formal Methods (UML&FM), Paris, France
- Harnessing Theories for Tool Support in Software (TTSS'11), September 2011, Oslo
Teaching
- (2015-18, UiO) INF5140
Model Checking
- (2015-18, HVL) DAT153 Mobile and Distributed Applications
- (2015, HiB) MOD350 Model-driven Software Engineering
- (2014) INF3110 Programmeringsspråk
- (2013) INF3110 Programmeringsspråk
- (2012) INF3110 Programmeringsspråk
- (2012) INF3230 Formell modellering og analyse av kommuniserende systemer
- (2011) INF3110 Programmeringsspråk
- (2010) INF3110 Programmeringsspråk
Emneord:
programming languages,
programmeringsspråk,
formal methods,
model transformation,
UML,
QVT,
Haskell,
FreeBSD,
object-orientation,
verification
Publikasjoner
-
-
Pun, Violet Ka I & Stolz, Volker
(2024).
Enforced Dependencies for Active Objects.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
14360.
doi:
10.1007/978-3-031-51060-1_13.
Vis sammendrag
We present an active object-based language that records required and provided method completions ahead of method invocations. With this language, a programmer can use method declarations to specify the dependencies between different types of tasks. The type system makes sure that the programmer declares how to fulfil the prerequisites. An operational semantics defines non-deterministic program execution with the necessary synchronisations.
We present the grammar, dynamic semantics in the form of operational semantics rules, and a rule-based type system that checks the dependencies. The absence of cyclic task dependency can be checked at the level of method declaration.
-
Lee, Ming-Chang; Lin, Jia-Chun & Stolz, Volker
(2023).
NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series.
I Cuzzocrea, Alfredo; Sharmin, Moushumi; Teranishi, Yuuichi & Towey, Dave (Red.),
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC).
IEEE conference proceedings.
ISSN 979-8-3503-2697-0.
s. 334–339.
doi:
10.1109/COMPSAC57700.2023.00052.
-
Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I & Stolz, Volker
(2023).
Modular Soundness Checking of Feature Model Evolution Plans.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
14446,
s. 417–437.
doi:
10.1007/978-3-031-47963-2_25.
Fulltekst i vitenarkiv
Vis sammendrag
A software product line (SPL) is a family of closely related software systems which capitalizes on the variability and reusability of the software products and can be formalised by a feature model. Feature model evolution plans (FMEP) capture the current SPL as well as the planned evolution of the SPL to ensure successful long-term development. As business requirements often change, FMEPs should support interme- diate update. This modification may cause paradoxes in an FMEP, e.g., a node left without a parent, making the plan impossible to realise. Current tools exist to validate FMEPs, but require analysing the entire plan even when a modification affects only small parts of it. Hence, there is a need for a method that detects such paradoxes in a more efficient way. In this paper, we present an interval based feature model (IBFM), a representation for FMEPs, that allows local reasoning to validates only the parts of the plan affected by changes. We define operations for updating the FMEPs and the preconditions under which they preserve soundness, i.e., absence of paradoxes, and show the correctness of the method.
-
-
-
Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I & Stolz, Volker
(2022).
A Notion of Equivalence for Refactorings with Abstract Execution .
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
13702,
s. 259–280.
doi:
10.1007/978-3-031-19756-7_15.
Fulltekst i vitenarkiv
Vis sammendrag
Relational verification through dynamic logic is a promising approach for verifying object oriented programs. Recent advances from symbolic to abstract executions have enabled reasoning about incomplete/abstract versions of such programs. This has proven fruitful in the exploration of correctness of refactorings primarily related to code blocks in Java. In this paper we explore further types of equivalent transformations and refactorings and discuss the challenges that still need to be overcome for full round-trip correctness of refactorings in object-oriented languages.
-
-
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker
(2021).
MC/DC Test Cases Generation Based on BDDs.
I Qin, Shengchao; Jim, Woodcock & Wenhui, Zhang (Red.),
SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications.
Springer International Publishing.
ISSN 978-3-030-91265-9.
s. 178–197.
doi:
10.1007/978-3-030-91265-9_10.
Fulltekst i vitenarkiv
-
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I & Stolz, Volker
(2021).
Hardware-Assisted Online Data Race Detection.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
13065.
doi:
10.1007/978-3-030-87348-6_6.
Fulltekst i vitenarkiv
Vis sammendrag
Dynamic data race detection techniques usually involve invasive instrumentation that makes it impossible to deploy an executable with such checking in the field, hence making errors difficult to debug and reproduce. This paper shows how to detect data races using the COEMS technology through continuous online monitoring with low-impact instrumentation on a novel FPGA-based external platform for embedded multicore systems. It is used in combination with formal specifications in the high-level stream-based temporal specification language TeSSLa, in which we encode a lockset-based algorithm to indicate potential race conditions. We show how to instantiate a TeSSLa template that is based on the Eraser algorithm, and present a corresponding light-weight instrumentation mechanism that emits necessary observations to the FPGA with low overhead. We illustrate the feasibility of our approach with experimental results on detection of data races on a sample application.
-
-
Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael & Stolz, Volker
(2020).
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models.
I Hedia, Belgacem Ben; Chen, Yu-Fang; Liu, Gaiyun & Yu, Zhenhua (Red.),
Verification and Evaluation
of Computer
and Communication Systems: 14th International Conference, VECoS 2020
Xi’an, China, October 26–27, 2020
Proceedings.
Springer.
ISSN 978-3-030-65954-7.
s. 68–83.
doi:
10.1007/978-3-030-65955-4_6.
-
Wang, Rui; Artho, Cyrille; Kristensen, Lars Michael & Stolz, Volker
(2020).
Multi-objective Search for Model-based Testing.
I Chan, W. K. V.; Nagappan, Mei & Budnik, Christof (Red.),
2020 IEEE 20th International Conference
on Software Quality, Reliability, and Security
(QRS 2020) .
IEEE conference proceedings.
ISSN 978-1-7281-8913-0.
s. 130–141.
doi:
10.1109/QRS51102.2020.00029.
Fulltekst i vitenarkiv
Vis sammendrag
This paper presents a search-based approach relying on multi-objective reinforcement learning and optimization
for test case generation in model-based software testing. Our
approach considers test case generation as an exploration versus
exploitation dilemma, and we address this dilemma by implementing a particular strategy of multi-objective multi-armed
bandits with multiple rewards. After optimizing our strategy
using the jMetal multi-objective optimization framework, the
resulting parameter setting is then used by an extended version
of the Modbat tool for model-based testing. We experimentally
evaluate our search-based approach on a collection of examples,
such as the ZooKeeper distributed service and PostgreSQL
database system, by comparing it to the use of random search for
test case generation. Our results show that test cases generated
using our search-based approach can obtain more predictable
and better state/transition coverage, find failures earlier, and
provide improved path coverage.
-
-
-
-
Audrito, Giorgio; Damiani, Ferruccio; Stolz, Volker & Viroli, Mirko
(2019).
On Distributed Runtime Verification by Aggregate Computing.
Electronic Proceedings in Theoretical Computer Science (EPTCS).
ISSN 2075-2180.
302,
s. 47–61.
doi:
10.4204/EPTCS.302.4.
Fulltekst i vitenarkiv
-
-
-
Macías, Fernando; Rutle, Adrian & Stolz, Volker
(2018).
A tool for the convergence of multilevel modelling approaches.
CEUR Workshop Proceedings.
ISSN 1613-0073.
2245,
s. 633–642.
Fulltekst i vitenarkiv
-
-
-
-
-
Macías, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto & Wolter, Uwe Egbert
(2018).
An Approach to Flexible Multilevel Modelling.
Enterprise Modelling and Information Systems Architectures - An International Journal.
ISSN 1860-6059.
13,
s. 1–34.
doi:
10.18417/emisa.13.10.
Fulltekst i vitenarkiv
-
Braz, Larissa; Gheyi, Rohit; Stolz, Volker & Ribeiro, Márcio
(2017).
Analyzing Changes on Configurable Systems with #ifdefs.
I Walden, Marina (Red.),
Proceedings of the 29th Nordic Workshop on Programming Theory.
Turku Centre for Computer Science.
ISSN 978-952-12-3608-2.
doi:
10.1145/3093335.2993250.
-
Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker
(2017).
Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems.
I Walden, Marina (Red.),
Proceedings of the 29th Nordic Workshop on Programming Theory.
Turku Centre for Computer Science.
ISSN 978-952-12-3608-2.
s. 22–24.
doi:
10.1007/978-3-662-58381-4_8.
-
-
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian
(2017).
Operational Semantics of a Weak Memory Model inspired by Go.
I Walden, Marina (Red.),
Proceedings of the 29th Nordic Workshop on Programming Theory.
Turku Centre for Computer Science.
ISSN 978-952-12-3608-2.
s. 50–52.
doi:
10.1016/j.jlamp.2018.10.004.
Fulltekst i vitenarkiv
-
-
Wang, Rui; Kristensen, Lars Michael; Meling, Hein & Stolz, Volker
(2017).
Application of Model-based Testing on a Quorum-based Distributed Storage.
CEUR Workshop Proceedings.
ISSN 1613-0073.
1846,
s. 177–196.
Fulltekst i vitenarkiv
-
Macias Gomez de Villar, Fernando; Rutle, Adrian & Stolz, Volker
(2016).
MultEcore: Combining the best of fixed-level and multilevel metamodelling.
CEUR Workshop Proceedings.
ISSN 1613-0073.
1722,
s. 66–75.
Fulltekst i vitenarkiv
Vis sammendrag
Mainstream metamodelling approaches based on the OMG standards, such as EMF, have a fixed number of modelling levels. Despite their partial acceptance in industry, limitations on the number of levels has led to problems
such as lack of flexibility and mixed levels of abstraction. Existing multilevel modelling approaches have already tackled these problems by providing features like deep modelling and linguistic extension. However, these approaches have face challenges like hesitation of adoption by industry due to the lack of an ecosystem which frameworks like EMF already have. In this paper, we (1) propose
a conceptual framework for multilevel modelling that tackles such challenges, (2) illustrate the approach with two examples, and (3) present the tool MultEcore, which makes the proposed framework directly compatible with EMF, combining the best of the two worlds of fixed- and multilevel metamodelling approaches.
-
-
Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina
(2016).
Information flow analysis for Go.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
9952 LNCS,
s. 431–445.
doi:
10.1007/978-3-319-47166-2_30.
Vis sammendrag
We present the current state of the art of information flow
analyses for Go applications. Based on our findings, we discuss future directions of where static analysis information can be used at Runtime to for example achieve higher precision, or optimise runtime checks. We focus specifically on outstanding language features such as closures and message-based communication via channels.
-
Eilertsen, Anna Maria; Bagge, Anya Helene & Stolz, Volker
(2016).
Safer refactorings.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
9952 LNCS,
s. 517–531.
doi:
10.1007/978-3-319-47166-2_36.
Vis sammendrag
Refactorings often require semantic correctness conditions
that amount to software model checking. However, IDEs such as Eclipse’s Java Development Tools implement far simpler checks on the structure of the code. This leads to the phenomenon that a seemingly innocuous refactoring can change the behaviour of the program. In this paper we demonstrate our technique of introducing runtime checks for two particular refactorings for the Java programming language: Extract And Move Method, and Extract Local Variable. These checks can, in combination with unit tests, detect changed behaviour and allow identification of which specific refactoring step introduced the deviant behaviour.
-
-
-
Stolz, Volker & Trancón-y-Widemann, Baltasar
(2014).
7. Arbeitstagung Programmiersprachen (ATPS 2014).
I Hasselbring, Wilhelm & Ehmke, Nils Christian (Red.),
Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik.
Bonner Köllen Verlag.
ISSN 978-388579-621-3.
s. 205–206.
-
-
-
-
-
-
-
-
-
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2012).
Deadlock checking by data race detection.
I Wolter, Uwe Egbert & Lamo, Yngve (Red.),
24th Nordic Workshop on Programming Theory.
Universitetet i Bergen.
ISSN 0333-3590.
doi:
10.1007/978-3-642-40213-5_3.
-
Bodden, Eric; Falzon, Kevin; Pun, Ka I & Stolz, Volker
(2012).
Delta-oriented Monitor Specification.
Lecture Notes in Computer Science (LNCS).
ISSN 0302-9743.
7609,
s. 162–177.
doi:
10.1007/978-3-642-34026-0_13.
Fulltekst i vitenarkiv
Vis sammendrag
Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas. Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the program's execution history; this is useful, e.g., for the purpose of runtime verification and for enforcing security policies.
In this work we discuss how delta-oriented programming and MOP can benefit from each other in the Abstract Behavior Specification Language (ABS) through a new approach we call Delta-oriented Monitor Specification (DMS).
We use deltas over monitor definitions to concisely capture protocol changes induced by feature combinations, and propose a notation to denote these deltas.
In addition, we explore the design space for expressing runtime monitors as program deltas in ABS.
A small case study shows that our approach successfully avoids code duplication in monitor specifications and that those specifications can evolve hand in hand with feature definitions.
-
-
-
Li, Dan; Li, Xiaoshan & Stolz, Volker
(2012).
Model Querying with Graphical Notation of QVT Relations.
Software engineering notes.
ISSN 0163-5948.
37(4).
doi:
10.1145/2237796.2237808.
-
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2012).
Deadlock Checking by a Behavioral Effect System for Lock Handling.
Journal of Logic and Algebraic Programming.
ISSN 1567-8326.
81(3),
s. 331–354.
doi:
10.1016/j.jlap.2011.11.001.
-
Li, Dan; Li, Xiaoshan & Stolz, Volker
(2011).
Saying HelloWorld with QVTR-XSLT --- A Solution to the TTC 2011 Instructive Case.
Electronic Proceedings in Theoretical Computer Science (EPTCS).
ISSN 2075-2180.
74,
s. 223–236.
doi:
10.4204/EPTCS.74.20.
-
Li, Dan; Li, Xiaoshan & Stolz, Volker
(2011).
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT.
Electronic Proceedings in Theoretical Computer Science (EPTCS).
ISSN 2075-2180.
74,
s. 54–69.
doi:
10.4204/EPTCS.74.8.
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2011).
Polymorphic behavioural lock effects for deadlock checking (extended abstract).
I Petterson, Paul & Cristina, Seceleanu (Red.),
Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11.
Mälardalen University.
ISSN 9789521224782.
-
Li, Dan; Li, Xiaoshan; Liu, Zhiming & Stolz, Volker
(2011).
Interactive Transformations from Object-Oriented Models to Component-Based Models.
Conference proceedings (Universitetet i Oslo. Institutt for informatikk).
ISSN 0806-3036.
s. 67–84.
doi:
10.1007/978-3-642-35743-5_7.
-
Li, Dan; Li, Xiaoshan & Stolz, Volker
(2011).
QVT-based model transformation using XSLT.
Software engineering notes.
ISSN 0163-5948.
36(1).
doi:
10.1145/1921532.1921563.
-
Stolz, Volker
(2010).
The rCOS methodology and modeler.
I Hanus, Michael & Reck, Fabian (Red.),
Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5. Mai 2010 Technical Report 1010.
CAU Kiel, Germany.
Se alle arbeider i Cristin
-
Dang, Thao & Stolz, Volker
(2022).
Runtime Verification.
Springer Nature.
ISBN 9783031171963.
13498.
347 s.
-
Pun, Ka I; Stolz, Volker & Simao, Adenilso
(2020).
Theoretical Aspects of Computing – ICTAC 2020
.
Springer.
ISBN 978-3-030-64275-4.
317 s.
-
Carvalho, Gustavo & Stolz, Volker
(2020).
Formal Methods: Foundations and Applications.
Springer.
ISBN 978-3-030-63882-5.
229 s.
-
Ahishakiye, Faustin; Stolz, Volker & Kristensen, Lars Michael
(2019).
Generating test cases satisfying MC/DC from BDDs.
Proceedings of the 31st Nordic Workshop on Programming Theory 2019.
ISBN 978-9949-83-520-1.
3 s.
-
Ahishakiye, Faustin; Stolz, Volker; Jaksic, Svetlana; Lange, Felix Dino; Schmitz, Malte & Thoma, Daniel
(2019).
Non-intrusive MC/DC measurement based on traces.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), IEEE.
ISBN 978-1-7281-3342-3.
7 s.
-
Mann, Zoltan Adam & Stolz, Volker
(2018).
Advances in Service-Oriented and Cloud Computing.
Springer.
ISBN 978-3-319-79089-3.
194 s.
Se alle arbeider i Cristin
-
Carvalho, Gustavo & Stolz, Volker
(2022).
Preface – Selected papers from the 23rd Brazilian Symposium on Formal Methods – SBMF 2020.
Science of Computer Programming.
ISSN 0167-6423.
220.
doi:
10.1016/j.scico.2022.102830.
-
Stolz, Volker
(2018).
Can we rely on a software-defined society? The role of formal methods.
[Internett].
https://youtu.be/n8v3HO-Lv8A?t=27032.
-
Jaksic, Svetlana; Pun, Ka I Violet & Stolz, Volker
(2018).
COEMS.
-
-
-
Macías, Fernando; Rutle, Adrian & Stolz, Volker
(2017).
Coordination and Amalgamation of Multilevel Coupled Model Transformations.
-
-
Macías, Fernando; Rutle, Adrian & Stolz, Volker
(2016).
Multilevel Behavioural Metamodelling.
-
Kristensen, Lars Michael; Krogstie, Birgit Rognebakke & Stolz, Volker
(2016).
Forord til NIK 2016 og UDIT 2016.
NIKT: Norsk IKT-konferanse for forskning og utdanning.
ISSN 1892-0713.
-
-
Macías, Fernando; Rutle, Adrian & Stolz, Volker
(2015).
A Property Specification Language for Runtime Verification of Executable Models.
-
Schmid, Klaus; Stolz, Volker & Trancón y Widemann, Baltasar
(2014).
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014.
CEUR Workshop Proceedings.
ISSN 1613-0073.
1129.
-
-
-
-
Stolz, Volker
(2010).
Component-Based Model Driven Design.
-
Stolz, Volker
(2010).
The rCOS Modeler - from Software Engineering to Verification.
-
-
Stolz, Volker
(2010).
The rCOS methodology and modeler.
-
Liu, Zhiming & Stolz, Volker
(2019).
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems.
HVL.
Fulltekst i vitenarkiv
-
-
Kyriakos, Kritikos; Zoltán Ádám, Mann; Claus, Pahl & Stolz, Volker
(2017).
Joint Pre-Proceedings of the Workshops Associated with ESOCC 2017.
Universitetet i Oslo.
ISSN 978-82-7368-436-3.
Fulltekst i vitenarkiv
-
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker & Valle, Stian
(2017).
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines.
Universitetet i Oslo.
ISSN 978-82-7368-431-8.
Fulltekst i vitenarkiv
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2013).
Lock-Polymorphic Behaviour Inference for Deadlock Checking.
Universitetet i Oslo.
ISSN 82-7368-398-2.
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2012).
Behaviour Inference for Deadlock Checking.
Universitetet i Oslo.
ISSN 82-7368-379-6".
-
Pun, Ka I; Steffen, Martin & Stolz, Volker
(2012).
Deadlock Checking by Data Race Detection.
UiO.
ISSN 82-7368-385-0.
-
Marcel, Kyas; Sun, Meng & Stolz, Volker
(2011).
TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software.
Universitetet i Oslo.
ISSN 82-7368-371-0.
Fulltekst i vitenarkiv
-
-
-
-
Se alle arbeider i Cristin
Publisert
4. nov. 2010 14:19
- Sist endret
1. juni 2023 11:21