close
1.

図書

図書
Manuel V. Hermenegildo, Germán Puebla (eds.)
出版情報: Berlin : Springer, c2002  xi, 525 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2477
所蔵情報: loading…
目次情報: 続きを見る
Static Program Analysis via 3-Valued Logic / Thomas Reps
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges / Robert J. Hall
An Algebraic Approach to the Static Analysis of Concurrent Software / Javier Esparza
Polynomial Constants Are Decidable / Markus Müller-Olm ; Helmut Seidl
Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi / Flemming Nielson ; Hanne Riis Nielson
Nonuniform Alias Analysis of Recursive Data Structures and Arrays / Arnaud Venet
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes / B. Jeannet
Automated Verification of Concurrent Linked Lists with Counters / Tuba Yavuz-Kahveci ; Tevfik Bultan
Backward Type Inference Generalises Type Checking / Lunjin Lu ; Andy King
More Precise Yet Efficient Type Inference for Logic Programs / Claudio Vaucheret ; Francisco Bueno
A Few Graph-Based Relational Numerical Abstract Domains / Antoine Miné
Static Analysis of the Numerical Stability of Loops / Matthieu Martel
On Termination of Logic Programs with Floating Point Computations / Alexander Serebrenik ; Danny De Schreye
Modular Control Flow Analysis for Libraries / Christian W. Probst
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages / John Whaley ; Monica S. Lam
Compactly Representing First-Order Structures for Static Analysis / R. Manevich ; G. Ramalingam ; J. Field ; D. Goyal ; M. Sagiv
Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library / Roberto Bagnara ; Elisa Ricci ; Enea Zaffanella ; Patricia M. Hill
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis / Stephen Adams ; Thomas Ball ; Manuvir Das ; Sorin Lerner ; Sriram K. Rajamani ; Mark Seigle ; Westley Weimer
Improving the Precision of Equality-Based Dataflow Analyses / Erik Ruf
Guaranteed Optimization: Proving Nullspace Properties of Compilers / Todd L. Veldhuizen ; rew Lumsdaine
Representation Analysis for Coercion Placement / Karl-Filip Faxén
Pipeline Modeling for Timing Analysis / Marc Langenbach ; Stephan Thesing ; Reinhold Heckmann
Analysing Approximate Confinement under Uniform Attacks / Alessandra Di Pierro ; Chris Hankin ; Herbert Wiklicky
An Improved Constraint-Based System for the Verification of Security Protocols / Ricardo Corin ; Sandro Etalle
From Secrecy to Authenticity in Security Protocols / Bruno Blanchet
Security Typings by Abstract Interpretation / Mirko Zanotti
Static Confidentiality Enforcement for Distributed Programs / Andrei Sabelfeld ; Heiko Mantel
Refinement of LTL Formulas for Abstract Model Checking / María del Mar Gallardo ; Pedro Merino ; Ernesto Pimentel
Making Abstract Model Checking Strongly Preserving / Francesco Ranzato ; Francesco Tapparo
Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties / Damien Massé
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation / Charles Hymans
States vs. Traces in Model Checking by Abstract Interpretation / Roberto Giacobazzi
Reuse of Results in Termination Analysis of Typed Logic Programs / Maurice Bruynooghe ; Michael Codish ; Samir Genaim ; Wim Vanhoof
Finiteness Analysis in Polynomial Time / Chin Soon Lee
Detecting Optimal Termination Conditions of Logic Programs / Fred Mesnard ; Etienne Payet ; Ulrich Neumerkel
Author Index
Static Program Analysis via 3-Valued Logic / Thomas Reps
Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges / Robert J. Hall
An Algebraic Approach to the Static Analysis of Concurrent Software / Javier Esparza
2.

図書

図書
Patrick Cousot (ed.)
出版情報: Berlin : Springer, c2001  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2126
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau
Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz
Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft
Strictness and Termination
Effective Strictness Analysis with HORN Constraints / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard ; Ulrich Neumerkel
An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux
Semantics Abstraction
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto
Logic and Constraint Programming
Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu
Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara ; Roberta Gori ; Patricia M. Hill ; Enea Zaffanella
Applications of Extended Static Checking / K. Rustan M. Leino
Data Structures
Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu ; Ning Li ; Scott D. Stoller
Static Analyses of the Precision of Floating-Point Operations / Eric Goubault
Pointer Analysis
Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das ; Ben Liblit ; Manuel Fahndrich ; Jakob Rehof
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang ; Mary Jean Harrold
Model Checking
Parametric Optimization of Open Real-Time Systems / Farn Wang ; Hsu-Chun Yen
Embedding Chaos / Natalia Sidorova ; Martin Steffen
Abstract Model Checking
Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani ; Aurore Collomb-Annichini ; Yassine Lakhnech ; Mihaela Sighireanu
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi ; Elisa Quintarelli
Invited Talk
Language-Based Security: WhatÆs Needed and Why (Abstract) / Fred Schneider
Mobility
A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani
An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi ; Sergio Maffeis
Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret
Invited Session on Security
Static Analysis and Software Assurance (Abstract) / David Wagner
A Type and Effect Analysis of Security Protocols (Abstract) / Andrew D. Gordon ; Alan Jeffrey
Abstracting Cryptographic Protocols by Prolog Rules (Abstract) / Bruno Blanchet
Security-Typed Languages and Distributed Computation (Abstract) / Andrew Myers
Author Index
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
3.

図書

図書
Chris Hankin, Igor Siveroni (eds.)
出版情報: Berlin : Springer, c2005  x, 367 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3672
所蔵情報: loading…
4.

図書

図書
Roberto Giacobazzi (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3148
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Injecting Life with Computers / Ehud Shapiro
The Blast Query Language for Software Verification / Dirk Beyer ; Adam J. Chlipala ; Thomas A. Henzinger ; Ranjit Jhala ; Rupak Majumdar
Program Generators and the Tools to Make Them / Yannis Smaragdakis
Towards Declarative Programming for Web Services / Sheila McIlraith
Program and System Verification
Closed and Logical Relations for Over- and Under-Approximation of Powersets / David A. Schmidt
Completeness Refinement in Abstract Symbolic Trajectory Evaluation / Mila Dalla Preda
Constraint-Based Linear-Relations Analysis / Sriram Sankaranarayanan ; Henny B. Sipma ; Zohar Manna
Spatial Analysis of BioAmbients / Hanne Riis Nielson ; Flemming Nielson ; Henrik Pilegaard
Security and Safety
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language / Qi Sun ; Anindya Banerjee ; David A. Naumann
Information Flow Analysis in Logical Form / Torben Amtoft
Type Inference Against Races / Cormac Flanagan ; Stephen N. Freund
Pointer Analysis
Pointer-Range Analysis / Suan Hsi Yong ; Susan Horwitz
A Scalable Nonuniform Pointer Analysis for Embedded Programs / Arnaud Venet
Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis / Erik M. Nystrom ; Hong-Seok Kim ; Wen-mei W. Hwu
Abstract Interpretation and Algorithms
Abstract Interpretation of Combinational Asynchronous Circuits / Sarah Thompson ; Alan Mycroft
Static Analysis of Gated Data Dependence Graphs / Charles Hymans ; Eben Upton
A Polynomial-Time Algorithm for Global Value Numbering / Sumit Gulwani ; George C. Necula
Shape Analysis
Quantitative Shape Analysis / Radu Rugina
A Relational Approach to Interprocedural Shape Analysis / Bertrand Jeannet ; Alexey Loginov ; Thomas Reps ; Mooly Sagiv
Partially Disjunctive Heap Abstraction / Roman Manevich ; Ganesan Ramalingam ; John Field
Abstract Domain and Data Structures
An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants / Enric Rodríguez-Carbonell ; Deepak Kapur
Approximating the Algebraic Relational Semantics of Imperative Programs / Michael A. Colón
The Octahedron Abstract Domain / Robert Clarisó ; Jordi Cortadella
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
Shape Analysis and Logic
On Logics of Aliasing / Marius Bozga ; Radu Iosif ; Yassine Lakhnech
Generalized Records and Spatial Conjunction in Role Logic / Viktor Kuncak ; Martin Rinard
Termination Analysis
Non-termination Inference for Constraint Logic Programs / Etienne Payet ; Fred Mesnard
Author Index
Invited Talks
Injecting Life with Computers / Ehud Shapiro
The Blast Query Language for Software Verification / Dirk Beyer ; Adam J. Chlipala ; Thomas A. Henzinger ; Ranjit Jhala ; Rupak Majumdar
5.

図書

図書
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998  ix, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: loading…
目次情報: 続きを見る
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli
Logic Programming
Analysis of Normal Logic Programs / François Fages ; Roberta Gori
The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton
Concurrency
A Symbolic Semantics for Abstract Model Checking / Francesca Levi
Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami
Abstract Domains
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe
Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski
Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari
Partial Evaluation
On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel
Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam
Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal
Type Inference
Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski
Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan
Optimization
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure
A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige
Tutorials
A Tutorial on Domain Theory in Abstract Interpretation
Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen
Invited Talks
Certifying, Optimizing Compilation / Peter Lee
Author Index
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
6.

図書

図書
Kwangkeun Yi (ed.)
出版情報: Berlin : Springer, c2006  xiii, 442 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4134
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Unleashing the Power of Static Analysis / Manuvir Das
Static Analysis in Disjunctive Numerical Domains / Sriram Sankaranarayanan ; Franjo Ivancic ; Ilya Shlyakhter ; Aarti GuptaSession 1:
Static Analysis of Numerical Algorithms / Eric Goubault ; Sylvie Putot
Static Analysis of String Manipulations in Critical Embedded C Programs / Xavier Allamigeon ; Wenceslas Godard ; Charles Hymans
Abstract Regular Tree Model Checking of Complex Dynamic Data Structures / Ahmed Bouajjani ; Peter Habermehl ; Adam Rogalewicz ; Tomas VojnarSession 2:
Structural Invariants / Ranjit Jhala ; Rupak Majumdar ; Ru-Gang Xu
Existential Label Flow Inference Via CFL Reachability / Polyvios Pratikakis ; Jeffrey S. Foster ; Michael Hicks
Abstract Interpretation with Specialized Definitions / German Puebla ; Elvira Albert ; Manuel HermenegildoSession 3:
Underapproximating Predicate Transformers / David A. Schmidt
Combining Widening and Acceleration in Linear Relation Analysis / Laure Gonnord ; Nicolas Halbwachs
Beyond Iteration Vectors: Instancewise Relational Abstract Domains / Pierre Amiranoff ; Albert Cohen ; Paul Feautrier
Separation Logic and Program Analysis / Peter W. O'Hearn
Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic / Cristiano Calcagno ; Dino Distefano ; Hongseok Yang
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding / Gilad ArnoldSession 4:
Recency-Abstraction for Heap-Allocated Storage / Gogul Balakrishnan ; Thomas Reps
Interprocedural Shape Analysis with Separated Heap Abstractions / Alexey Gotsman ; Josh Berdine ; Byron Cook
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm / Alexey Loginov ; Mooly Sagiv
Shape Analysis for Low-Level Code
Catching and Identifying Bugs in Register Allocation / Yuqiang Huang ; Bruce R. Childers ; Mary Lou SoffaSession 5:
Certificate Translation for Optimizing Compilers / Gilles Barthe ; Benjamin Gregoire ; Cesar Kunz ; Tamara Rezk
Analysis of Low-Level Code Using Cooperating Decompilers / Bor-Yuh Evan Chang ; Matthew Harren ; George C. Necula
Static Analysis for Java Servlets and JSP / Christian Kirkegaard ; Anders MollerSession 6:
Cryptographically-Masked Flows / Asian Askarov ; Daniel Hedin ; Andrei Sabelfeld
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems / Julien Bertrane
Parametric and Termination-Sensitive Control Dependence / Feng Chen ; Grigore RosuSession 7:
Memory Leak Analysis by Contradiction / Maksim Orlovich ; Radu Rugina
Path-Sensitive Dataflow Analysis with Iterative Refinement / Dinakar Dhurjati ; Yue Yang
Author Index
Invited Talk
Unleashing the Power of Static Analysis / Manuvir Das
Static Analysis in Disjunctive Numerical Domains / Sriram Sankaranarayanan ; Franjo Ivancic ; Ilya Shlyakhter ; Aarti GuptaSession 1:
7.

図書

図書
Jens Palsberg (ed.)
出版情報: Berlin : Springer, c2000  viii, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1824
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Enforcing Design Constraints with Object Logic / Daniel Jackson
Model Checking as Constraint Solving / Andreas Podelski
Contributed Papers
Abstract Interpretation Based Semantics of Sequent Calculi / Gianluca Amato ; Giorgio Levi
A Transformational Approach for Generating Non-linear Invariants / Saddek Bensalem ; Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu ; Yassine Lakhnech
Deriving Parallel Codes via Invariants / Wei-Ngan Chin ; Siau-Cheng Khoo ; Zhenjiang Hu ; Masato Takeichi
Safety of Strictness Analysis via Term Graph Rewriting / David Clark ; Chris Hankin ; Sebastian Hunt
Checking Cleanness in Linked Lists / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Confidentiality Analysis of Mobile Systems / Jérôme Feret
Unified Analysis of Array and Object References in Strongly Typed Languages / Stephen Fink ; Kathleen Knobe ; Vivek Sarkar
Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C / Jeffrey S. Foster ; Manuel Fahndrich ; Alexander Aiken
Efficient Inference of Static Types for Java Bytecode / Etienne M. Gagnon ; Laurie J. Hendren ; Guillaume Marceau
Abstract Interpretation of Game Properties / Thomas A. Henzinger ; Rupak Majumdar ; Freddy Mang ; Jean-François Raskin
FULLDOC: A Full Reporting Debugger for Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Partial Redundancy Elimination on Predicated Code / Jens Knoop ; Jean-François Collard ; Roy Dz-ching Ju
TVLA: A System for Implementing Static Analyses / Tal Lev-Ami
Tree Schemata and Fair Termination / Laurent Mauborgne
Abstract Interpretation of Probabilistic Semantics / David Monniaux
Code Specialization Based on Value Profiles / Robert Muth ; Scott Watterson ; Saumya Debray
Flattening Is an Improvement / James Riely ; Jan Prins
Model Checking Guided Abstraction and Analysis / Hassen Sa?idi
Abstract Domains for Sharing Analysis by Optimal Semantics / Francesca Scozzari
Concurrency Analysis for Java / Cristian Ungureanu ; Suresh Jagannathan
Author Index
Invited Papers
Enforcing Design Constraints with Object Logic / Daniel Jackson
Model Checking as Constraint Solving / Andreas Podelski
8.

図書

図書
Agostino Cortesi, Gilberto Filé (eds.)
出版情報: Berlin : Springer, c1999  viii, 356 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1694
所蔵情報: loading…
目次情報: 続きを見る
Synchronization in JAVA Programs
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives / John Hatcliff ; James Corbett ; Matthew Dwyer ; Stefan Sokolowski ; Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs / Jonathan Aldrich ; Craig Chambers ; Emin Gun Sirer ; Susan Eggers
Synchronous Languages
Dynamic Partitioning in Analyses of Numerical Properties / Bertrand Jeannet ; Nicolas Halbwachs ; Pascal Raymond
Polyhedral Analysis for Synchronous Languages / Frédéric Besson ; Thomas Jensen ; Jean-Pierre Talpin
Abstract Domains
Decomposing Non-Redundant Sharing by Complementation / Enea Zaffanella ; Patricia M. Hill ; Roberto Bagnara
Freeness Analysis Through Linear Refinement / Patricia Hill ; Fausto Spoto
Binary Decision Graphs / Laurent Mauborgne
Binding-Time Analysis for Both Static and Dynamic Expressions / Kenichi Asai
Concurrency
Abstract Interpretation of Mobile Ambients / René Rydhof Hansen ; Jacob Grydholt Jensen ; Flemming Nielson ; Hanne Riis Nielson
Abstracting Cryptographic Protocols with Tree Automata / David Monniaux
State Space Reduction Based on Live Variables Analysis / Marius Bozga ; Jean-Claude Fernandez ; Lucian Chirvu
Static Single Assignment
Partial Dead Code Elimination Using Extended Value Graph / Munehiro Takimoto ; Kenichi Harada
Translating Out of Single Assignment Form / Vugranam C. Sreedhar ; Roy Dz-Ching Ju ; David M. Gillies ; Vatsa Santhanam
Optimizations
Eliminating Dead Code on Recursive Data / Yanhong A. Liu ; Scott D. Stoller
Detecting Equalities of Variables Combining Efficiency with Precision / Oliver Rüthing ; Jens Knoop ; Bernhard Steffen
Foundations
A New Class of Functions for Abstract Interpretation / Jörg Köller ; Markus Mohnen
Equational Semantics / Loîe Correnson ; Etienne Duris ; Didier Parigot ; Gilles Roussel
Abstract Animator for Temporal Specifications Application to TLA / Dominique Cansell ; Dominique Méry
Invited Talks and Tutorials
Static Analysis of Mega-Programs / Daniel Weise
Safety versus Secrecy / Dennis Volpano
On the Complexity Analysis of Static Analyses / David McAllester
Model-Checking. A Tutorial Introduction / Markus Müller-Olm ; David Schmidt
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis / Mary Lau Soffa
Author Index
Synchronization in JAVA Programs
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives / John Hatcliff ; James Corbett ; Matthew Dwyer ; Stefan Sokolowski ; Hongjun Zheng
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs / Jonathan Aldrich ; Craig Chambers ; Emin Gun Sirer ; Susan Eggers
9.

図書

図書
Radhia Cousot (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2694
所蔵情報: loading…
10.

図書

図書
Pascal van Hentenryck (ed.)
出版情報: Berlin ; New York : Springer, c1997  x, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1302
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼